Inspectopedia Help

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]

Inspection Details

By default bundled with:

Qodana for Ruby 2024.1, RubyMine 2024.1,

Can be installed with plugin:

Ruby, 241.SNAPSHOT

Last modified: 29 April 2024