Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | checkNoPrivateLeaks: Do not allow types to refer to leaky aliases | Guillaume Martres | 2017-04-04 | 1 | -0/+13 |
`checkNoPrivateLeaks` can force a lot of things, this lead to hard-to-reproduce issues in unpickling because we called `checkNoPrivateLeaks` on the type parameters of a class before anything in the class was indexed. We fix this by making sure that `checkNoPrivateLeaks` never transforms type symbols, only term symbols, therefore we can unpickle type parameters without forcing too many things. tests/neg/leak-type.scala illustrates the new restriction that this necessitates. |