scala/scala — pull request #952 by adriaanm (2012-07-19 21:08:16+00:00)
Title: SI-4897 derive expected value from single type

review by @xeno-by

when the type in a type test is, say, `C.this.A.type`,
must use the corresponding term `C.this.A` to test for equality
if you use the naive REF(.symbol), you'll
get a path like `OwnerOfA.this.A`,
where `OwnerOfA` might be a superclass of `C`, and
explicitouter won't like that