Bad type argument type

Reports type arguments passed to generic types which do not subtype the expected upper bound. Type arguments must be a subtype of any specified upper bound.

Example:

class Example[A < Numeric]
end

# 'String' is not a subtype of 'Numeric'
type example = Example[String]

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.

RbsBadTypeArgumentType

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.2, RubyMine 2024.2,
Can be installed with plugin:	Ruby, 242.22897

Last modified: 11 September 2024