diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-07-23 17:42:55 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-10-01 19:33:25 +0200 |
| commit | fe714ed2b6aaca41f1e6681b217022b301f3049d (patch) | |
| tree | 07984582b64af2709b40e10a967da532ae6d0255 /src/dotty/tools/dotc/core/TypeApplications.scala | |
| parent | 78239daf86cf6d45fec46f259e55e1fdbd963046 (diff) | |
| download | dotty-fe714ed2b6aaca41f1e6681b217022b301f3049d.tar.gz dotty-fe714ed2b6aaca41f1e6681b217022b301f3049d.tar.bz2 dotty-fe714ed2b6aaca41f1e6681b217022b301f3049d.zip | |
Change some occurrences of <:< to frozen_<:<
Some subtype tests should not instantiate type variables, in particular
those having to do with & and |.
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeApplications.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/TypeApplications.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/core/TypeApplications.scala b/src/dotty/tools/dotc/core/TypeApplications.scala index 927c4fcc5..47935f79e 100644 --- a/src/dotty/tools/dotc/core/TypeApplications.scala +++ b/src/dotty/tools/dotc/core/TypeApplications.scala @@ -497,7 +497,7 @@ class TypeApplications(val self: Type) extends AnyVal { val boundss = new mutable.ListBuffer[TypeBounds] for (sym <- boundSyms) { val bounds = sym.info.bounds - if (!(TypeBounds.empty <:< bounds)) { + if (!(TypeBounds.empty frozen_<:< bounds)) { boundNames += sym.name boundss += bounds } @@ -574,7 +574,7 @@ class TypeApplications(val self: Type) extends AnyVal { // we have a binding T = Lambda$XYZ{...}.this.hk$i where hk$i names the current `tparam`. val pcore = etaCore(tp.parent, otherParams) val hkBounds = self.member(rname).info.bounds - if (TypeBounds.empty <:< hkBounds) pcore + if (TypeBounds.empty frozen_<:< hkBounds) pcore else tp.derivedRefinedType(pcore, tp.refinedName, hkBounds) case _ => val pcore = etaCore(tp.parent, tparams) |