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.


class Example[A < Numeric] end # 'String' is not a subtype of 'Numeric' type example = Example[String]

Inspection Details

Available in:

Qodana for Ruby 2023.3, RubyMine 2023.3


Ruby, 233.SNAPSHOT

Last modified: 13 July 2023