dotty - Research platform for new language concepts and compiler technologies for Scala.

	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.