Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Deskolemize types inferred for vals and defs | Martin Odersky | 2015-06-06 | 1 | -0/+20 |
We want to establish the invariant (optionally checked by assertNoSkolems) that symbols do not contain skolemized types as their info. This avoids unsoundness situations where a skolem gets exported as part if the result type of a method, so different instantiations look like their are the same instance. |