Closed vlopezj closed 7 years ago
When solving a constraint by spine intersection, the type of the new meta is the same as the type of the old meta. But this should not be the case, because the new meta will be applied to fewer arguments.
When solving a constraint by spine intersection, the type of the new meta is the same as the type of the old meta. But this should not be the case, because the new meta will be applied to fewer arguments.