Transitivity of level inequality needed for unsolvability #3098
Labels
constraints
Constraints (postponed type checking problems, postponed unification problems, instance constraints)
levels
type: enhancement
Issues and pull requests about possible improvements
Milestone
The remaining MWE from #2780.
Should discover that the level constraints are unsolvable.
See also #2246.
The text was updated successfully, but these errors were encountered: