Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Make asSeenFrom idempotent | Martin Odersky | 2015-12-21 | 1 | -0/+12 |
| | | | | | | Let asSeenFrom generate a marker annotated type for any unsafe instantiation. Then cleanup in typedSelect. | ||||
* | 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. |