Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Disallow higher-kinded types that simulate general existential types | Martin Odersky | 2016-07-11 | 1 | -0/+13 |
We cannot handle such types in general. So we now check that a hk application C[args] where some of the arguments are wildcards does not have as a supertype a hk application ([X] -> B)[args] |