Conflicting type variable variance
Reports type variables whose variance (in, out, or unchecked) conflicts with another declaration. Type variables must match in variance between partial declarations of the same class or module, even if the type variables have different names.
Example:
# Type variable 'B' of class 'Example' has a variance which conflicts with other declarations, ...
class Example[A, in B, out C]
end
# Type variable 'Y' of class 'Example' has a variance which conflicts with other declarations, ...
class Example[X, Y, Z]
end
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.
RbsConflictingTypeVariableVariance- 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
Ruby, 241.SNAPSHOT
Last modified: 18 June 2024