Make opaque types work with new formulation of isMatch

odersky · odersky · commit c8d9a00019ae · 2021-04-25T10:28:45.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/core/SymDenotations.scala b/compiler/src/dotty/tools/dotc/core/SymDenotations.scala
@@ -432,8 +432,8 @@ object SymDenotations {
           TypeBounds.empty
 
       info match
-        case TypeAlias(alias) if isOpaqueAlias && owner.isClass =>
-          setAlias(alias)
+        case info: AliasingBounds if isOpaqueAlias && owner.isClass =>
+          setAlias(info.alias)
           HKTypeLambda.boundsFromParams(tparams, bounds(rhs))
         case _ =>
           info
diff --git a/tests/pos/i12194-opaque.scala b/tests/pos/i12194-opaque.scala
@@ -0,0 +1,3 @@
+opaque type ProductK[F[_], T <: Tuple] = Tuple.Map[T, F]
+object ProductK:
+  def of[F[_], T <: Tuple](t: Tuple.Map[T, F]): ProductK[F, T] = t

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+opaque type ProductK[F[_], T <: Tuple] = Tuple.Map[T, F]`
	`2`	`+object ProductK:`
	`3`	`+ def of[F[_], T <: Tuple](t: Tuple.Map[T, F]): ProductK[F, T] = t`