Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix #2152: Instantiate dependent result type parameters | Martin Odersky | 2017-04-11 | 1 | -0/+7 |
#2152 shows that dependent result type parameters can end up in the types of terms, so we have to eliminate them. If we don't we get orphan parameters in pickling. Fix method name and comment |