Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | TypeAssigner#avoid: do not lose type parameters when the base type changes. | Guillaume Martres | 2015-10-09 | 1 | -0/+12 |
| | | | | Fixes #741. | ||||
* | Add pos test about escaping refinements | Guillaume Martres | 2015-10-09 | 1 | -0/+10 |
| | |||||
* | TypeAssigner#avoid: don't miss escaping refs in complex types | Guillaume Martres | 2015-10-09 | 1 | -1/+9 |
| | |||||
* | TypeAssigner#avoid: more precise types for inner classes | Guillaume Martres | 2015-10-09 | 1 | -0/+12 |
When we need to avoid `A` in the class `A#B`, we can try to replace `A` by a supertype. Previously, we only tried to replace `A#B` itself by a supertype. Fixes #711. |