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