diff options
author | Martin Odersky <odersky@gmail.com> | 2015-05-23 14:46:28 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-06-06 11:04:53 +0200 |
commit | 8e9233b9fce1c7e15d0d1111e88edd5139b3ced7 (patch) | |
tree | 728a71b791fd0abb8b5b48383dbe83c42a6420a9 /src/dotty/tools/dotc/core/TypeComparer.scala | |
parent | 6ca52b0f23f0c3425d054d0918a149e0e7afb765 (diff) | |
download | dotty-8e9233b9fce1c7e15d0d1111e88edd5139b3ced7.tar.gz dotty-8e9233b9fce1c7e15d0d1111e88edd5139b3ced7.tar.bz2 dotty-8e9233b9fce1c7e15d0d1111e88edd5139b3ced7.zip |
Tighten comparison of skolem types
Skolem types are =:= only if they are reference-equal. Two skolem types
with the same underlying type are not necessarily equal.
Tests continue to run under this tightened definition.
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeComparer.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/TypeComparer.scala | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/dotty/tools/dotc/core/TypeComparer.scala b/src/dotty/tools/dotc/core/TypeComparer.scala index 069525db0..9559666a4 100644 --- a/src/dotty/tools/dotc/core/TypeComparer.scala +++ b/src/dotty/tools/dotc/core/TypeComparer.scala @@ -274,11 +274,6 @@ class TypeComparer(initctx: Context) extends DotClass with ConstraintHandling wi case _ => thirdTry(tp1, tp2) } - case tp1: SkolemType => - tp2 match { - case tp2: SkolemType if tp1 == tp2 => true - case _ => thirdTry(tp1, tp2) - } case tp1: TypeVar => isSubType(tp1.underlying, tp2) case tp1: WildcardType => |