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 ID: RbsBadTypeVariableDefaultType

Suppressing Inspection

You can suppress this inspection by placing the following comment marker before the code fragment where you no longer want messages from this inspection to appear:

//noinspection RbsBadTypeVariableDefaultType

More detailed instructions as well as other ways and options that you have can be found in the product documentation:

RubyMine 2025.2

Inspection Details
By default bundled with:	Qodana for Ruby 2025.2, RubyMine 2025.2,

Last modified: 18 September 2025