Bad type variable default type

Reports default types in type variable declarations which do not subtype the upper bound. Default types must be a subtype of any specified upper bound.

Example:

# 'String' is not a subtype of 'Numeric'
class Example[A < Numeric = String]
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.

RbsBadTypeVariableDefaultType

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