Dafny suggests making a type parameter invariant instead of contravariant #2659
Labels
area: error-reporting
Clarity of the error reporting
kind: enhancement
Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny
Input:
Output:
This should suggest
-A
, not!A
The text was updated successfully, but these errors were encountered: