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.
Availability
- By default bundled with
- Can be installed with plugin
Ruby, 241.SNAPSHOT
Last modified: 18 June 2024