Inspectopedia
 
2024.3

Bad type variable default type

Error
New
Last modified: 03 December 2024

Reports default types in type variable declarations which do not subtype the upper bound. Default types must be a subtype of any specified upper bound.

Example: