Unconstrained variable type

Reports cases where an expression constrained by a concept is assigned to a variable declared as auto and suggests adding a type constraint.

Example:

  template<class T>
  concept Foo = true;

  Foo auto func() { return true; }

  void bar() {
      auto f = func(); //warn here to add constraint 'Foo'
  }

Locating this inspection

By ID

Can be used to locate inspection in e.g. Qodana configuration files, where you can quickly enable or disable it, or adjust its settings.

UnconstrainedVariableType

Via Settings dialog

Path to the inspection settings via IntelliJ Platform IDE Settings dialog, when you need to adjust inspection settings directly from your IDE.

Settings or Preferences | Editor | Inspections | C/C++ | General

Availability

By default bundled with: CLion 2024.1,
Can be installed with plugin: CLion, 2024.1

Last modified: 18 June 2024