scala/scala — pull request #1074 by adriaanm (2012-08-07 11:22:12+00:00)
Title: SI-5330, SI-6014 deal with existential self-type

This has been broken since https://github.com/scala/scala/commit/b7b81ca2#L0L567.
The existential rash is treated in a similar manner as in fc24db4c.

Conceptually, the fix would be `def selfTypeSkolemized = widen.skolemizeExistential.narrow`,
but simply widening before narrowing achieves the same thing. Since we're in existential voodoo territory,
let's go for the minimal fix: replacing `this.narrow` by `widen.narrow`.

review by @odersky