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 | |
|---|---|
Available in: | Qodana for Ruby 2023.3, RubyMine 2023.3 |
Plugin: | Ruby, 233.SNAPSHOT |
Last modified: 13 July 2023