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.
Availability
- By default bundled with
- Can be installed with plugin
CLion, 2024.1
Last modified: 18 June 2024