-
John van Groningen authored
is created when fusing a case with a constructor pattern containing a variable that is used more than once previously the type of the constructor in the type definition was used, but this is incorrect if the type contains type variables, it introduces (an) unbound variable(s) (that may cause the compiler to crash) and the type may be too general
6194a536