scala/scala — pull request #2876 by retronym (2013-08-26 10:34:23+00:00)
Title: SI-7782 Derive type skolems at the ground level

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 called at any time.

Review by @adriaanm, /cc @lrytz