Do not flag match types as Deferred and amend #20077

compiler/src/dotty/tools/dotc/core/tasty/TreeUnpickler.scala

@@ -1542,8 +1542,6 @@ class TreeUnpickler(reader: TastyReader,
               // as the reduction of the match type definition!
               //
               // We also override the type, as that's what Typer does.
-              // The difference here is that a match type that reduces to a non-match type
-              // makes the TypeRef for that definition will have a TypeAlias info instead of a MatchAlias.
               tpt.overwriteType(tpt.tpe.normalized)
               tpt
             case TYPEBOUNDStpt =>

compiler/src/dotty/tools/dotc/typer/Implicits.scala

@@ -636,7 +636,7 @@ trait ImplicitRunInfo:
         else if implicitScopeCache.contains(t) then parts += t
         else
           partSeen += t
-          t.dealias.normalized match
+          t.dealias match
             case t: TypeRef =>
               if isAnchor(t.symbol) then
                 parts += t
@@ -817,7 +817,7 @@ trait ImplicitRunInfo:
                   else AndType.make(apply(lo), apply(hi))
                 case u => apply(u)
 
-          def apply(t: Type) = t.dealias match
+          def apply(t: Type) = t.dealias.normalized match
             case t: TypeRef =>
               if t.symbol.isClass || isAnchor(t.symbol) then t else applyToUnderlying(t)
             case t: TypeVar => apply(t.underlying)

compiler/src/dotty/tools/dotc/typer/Namer.scala

@@ -268,8 +268,8 @@ class Namer { typer: Typer =>
             else if flags.isAllOf(EnumValue) && ctx.owner.isStaticOwner then flags |= JavaStatic
           case tree: TypeDef =>
             def analyzeRHS(rhs: Tree): Unit = rhs match
-              case _: TypeBoundsTree | _: MatchTypeTree =>
-                flags |= Deferred // Typedefs with Match rhs classify as abstract
+              case _: TypeBoundsTree =>
+                flags |= Deferred
               case LambdaTypeTree(_, body) =>
                 analyzeRHS(body)
               case _ =>

tests/neg/i20071b/A_1.scala

@@ -0,0 +1,13 @@
+
+trait Scope
+object Scope:
+  given i: Int = ???
+
+type ReferencesScope[S] >: Int <: Int
+
+type ScopeToInt[Why] = Why match
+  case Scope => Int
+
+def foo[T](using d: ReferencesScope[T]): Any = ???
+
+def bar[T](using d: ScopeToInt[T]): Any = ???

tests/neg/i20071b/B_2.scala

@@ -0,0 +1,8 @@
+
+def test: Unit =
+  foo[Scope] // ok
+  bar[Scope] // error
+
+  import Scope.i
+  bar[Scope] // ok
+

tests/pos/i20136a.scala

@@ -0,0 +1,14 @@
+
+trait Expr:
+  type Value
+object Expr:
+  type Of[V] = Expr { type Value = V }
+  type ExtractValue[E <: Expr] = E match
+    case Expr.Of[v] => v
+
+trait TC[E <: Expr]:
+  type Elem = Expr.ExtractValue[E]
+class BIExpr extends Expr:
+  type Value = BigInt
+class Foo extends TC[BIExpr]:
+  val v: Elem = 0

tests/pos/i20136b/A_1.scala

@@ -0,0 +1,8 @@
+package a
+
+trait Expr:
+  type Value
+object Expr:
+  type Of[V] = Expr { type Value = V }
+  type ExtractValue[E <: Expr] = E match
+    case Expr.Of[v] => v

tests/pos/i20136b/B_2.scala

@@ -0,0 +1,8 @@
+package a
+
+trait TC[E <: Expr]:
+  type Elem = Expr.ExtractValue[E]
+class BIExpr extends Expr:
+  type Value = BigInt
+class Foo extends TC[BIExpr]:
+  val v: Elem = 0