-
dimitris authored
Moreover canonicalisation now is "clever", i.e. it never canonicalizes a class constraint if it can already discharge it from some other inert or previously encountered constraints. See Note [Avoiding the superclass explosion]
ef6d82a4