diff options
author | Martin Odersky <odersky@gmail.com> | 2015-01-10 18:20:23 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-01-10 18:20:23 +0100 |
commit | 90c8ac30fd0898dfc07b389f742c8baa2f5642e9 (patch) | |
tree | 9df20d15f47184d965a2e10af0637c147a401fb8 /src | |
parent | 1d8c014a0a7872120df2b46e1a7e305c98f5b4c5 (diff) | |
download | dotty-90c8ac30fd0898dfc07b389f742c8baa2f5642e9.tar.gz dotty-90c8ac30fd0898dfc07b389f742c8baa2f5642e9.tar.bz2 dotty-90c8ac30fd0898dfc07b389f742c8baa2f5642e9.zip |
Simplified condition in isSubType.
Diffstat (limited to 'src')
-rw-r--r-- | src/dotty/tools/dotc/core/TypeComparer.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/core/TypeComparer.scala b/src/dotty/tools/dotc/core/TypeComparer.scala index ef0ac627f..4eaea31e1 100644 --- a/src/dotty/tools/dotc/core/TypeComparer.scala +++ b/src/dotty/tools/dotc/core/TypeComparer.scala @@ -258,9 +258,9 @@ class TypeComparer(initctx: Context) extends DotClass with ConstraintHandling wi } } comparePolyParam - case SkolemType(binder1) => + case tp1: SkolemType => tp2 match { - case SkolemType(binder2) if binder1 == binder2 => true + case tp2: SkolemType if tp1 == tp2 => true case _ => thirdTry(tp1, tp2) } case tp1: BoundType => |