diff options
| author | Jason Zaugg <jzaugg@gmail.com> | 2015-01-11 19:01:09 +1000 |
|---|---|---|
| committer | Jason Zaugg <jzaugg@gmail.com> | 2015-03-24 14:59:26 +1000 |
| commit | 3d9d1f6c99d2ee803402b02cccba72086af74b38 (patch) | |
| tree | 852b76b3a707cd7e55689863f4e23d2a9dac6795 /src/reflect/scala/reflect/internal/Types.scala | |
| parent | e6e5b146f19ac7bebf046a4bc0cbc0b8ce88a3a1 (diff) | |
| download | scala-3d9d1f6c99d2ee803402b02cccba72086af74b38.tar.gz scala-3d9d1f6c99d2ee803402b02cccba72086af74b38.tar.bz2 scala-3d9d1f6c99d2ee803402b02cccba72086af74b38.zip | |
SI-9074 Fix generic substitution with package objects, overloading
Takes a leaf out of dotty's book [1] and makes `asSeenFrom`
transparently change the prefix from the package class to the
package object when needed.
This fixes generic subsitution during overload resolution, as
reported in SI-9074.
This subsumes the former fix for SI-6225, which is removed here.
[1] https://github.com/lampepfl/dotty/pull/282
Diffstat (limited to 'src/reflect/scala/reflect/internal/Types.scala')
| -rw-r--r-- | src/reflect/scala/reflect/internal/Types.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/reflect/scala/reflect/internal/Types.scala b/src/reflect/scala/reflect/internal/Types.scala index 4d230cc1cc..a4269fcbc5 100644 --- a/src/reflect/scala/reflect/internal/Types.scala +++ b/src/reflect/scala/reflect/internal/Types.scala @@ -666,7 +666,7 @@ trait Types ) if (trivial) this else { - val m = newAsSeenFromMap(pre.normalize, clazz) + val m = new AsSeenFromMap(pre.normalize, clazz) val tp = m(this) val tp1 = existentialAbstraction(m.capturedParams, tp) |