diff options
-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 => |