diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-01-14 18:53:25 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-01-14 19:09:34 +0100 |
| commit | a24f73eb145d917863958551ff3f0a7c7db2a9dc (patch) | |
| tree | 510212dbce06626a799432ed6c6b5574ab42f7f7 /src/dotty/tools/dotc/core/TypeComparer.scala | |
| parent | 1a6cc683f37ea9f57454d1d7f62ac975c98c2a94 (diff) | |
| download | dotty-a24f73eb145d917863958551ff3f0a7c7db2a9dc.tar.gz dotty-a24f73eb145d917863958551ff3f0a7c7db2a9dc.tar.bz2 dotty-a24f73eb145d917863958551ff3f0a7c7db2a9dc.zip | |
Removed redundant test in isSubType.
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeComparer.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/TypeComparer.scala | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/core/TypeComparer.scala b/src/dotty/tools/dotc/core/TypeComparer.scala index 4bb061aab..fbb2e1b7b 100644 --- a/src/dotty/tools/dotc/core/TypeComparer.scala +++ b/src/dotty/tools/dotc/core/TypeComparer.scala @@ -541,8 +541,7 @@ class TypeComparer(initctx: Context) extends DotClass with ConstraintHandling wi // val foo: C // foo.type <: C { type T = foo.T } rinfo2 match { - case rinfo2: TypeAlias => - !ctx.phase.erasedTypes && (base select name) =:= rinfo2.alias + case rinfo2: TypeAlias => (base select name) =:= rinfo2.alias case _ => false } } |