scala - The Scala programming language

	Commit message (Collapse)	Author	Age	Files	Lines
*	SI-7782 Derive type skolems at the ground level	Jason Zaugg	2013-08-27	1	-0/+25
	Rather than at the current value of `skolemizationLevel`, which could be influenced by an in-flight existential subtype computation. This method is called in `PolyTypeCompleter`, which could be constructed by the lazy type completer of the enclosing class. So currently it is closing over a mutable variable; hence the Heisenbug. This issue was exposed by the changes in b74c33eb860, which was introduced in Scala 2.10.1.