diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2014-10-09 09:25:21 +0200 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2014-10-09 10:17:08 +0200 |
commit | bec85a90dda4c8488e3bbc47bfd0c64c6c3ed774 (patch) | |
tree | f25697fd5da92ea49b284dab50a73c0e0ea56f43 /src/dotty/tools/dotc | |
parent | c12f2ea48e4cdf609a33c1d476c1a4e1d992a356 (diff) | |
download | dotty-bec85a90dda4c8488e3bbc47bfd0c64c6c3ed774.tar.gz dotty-bec85a90dda4c8488e3bbc47bfd0c64c6c3ed774.tar.bz2 dotty-bec85a90dda4c8488e3bbc47bfd0c64c6c3ed774.zip |
Fix subtyping of types without symbols
Diffstat (limited to 'src/dotty/tools/dotc')
-rw-r--r-- | src/dotty/tools/dotc/core/TypeComparer.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/TypeComparer.scala b/src/dotty/tools/dotc/core/TypeComparer.scala index 073724922..99ec720c7 100644 --- a/src/dotty/tools/dotc/core/TypeComparer.scala +++ b/src/dotty/tools/dotc/core/TypeComparer.scala @@ -460,7 +460,7 @@ class TypeComparer(initctx: Context) extends DotClass { tp1 match { case tp1: NamedType => val sym1 = tp1.symbol - (if (sym1 eq tp2.symbol) ( + (if ((sym1 ne NoSymbol) && (sym1 eq tp2.symbol)) ( ctx.erasedTypes || sym1.isStaticOwner || { // Implements: A # X <: B # X |