Inspectopedia 2024.3 Help

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.

Settings or Preferences | Editor | Inspections | RBS | Probable bugs

Inspection Details

By default bundled with:

Qodana for Ruby 2024.3, RubyMine 2024.3,

Can be installed with plugin:

Ruby, 243.23135

Last modified: 03 December 2024