Avoid adding NoSymbol to gadt constraints in TypeOps.instantiateToSub…

…Type (#15965)

fixes lampepfl#15964

compiler/src/dotty/tools/dotc/core/TypeOps.scala

@@ -851,7 +851,7 @@ object TypeOps:
 
     val getAbstractSymbols = new TypeAccumulator[List[Symbol]]:
       def apply(xs: List[Symbol], tp: Type) = tp.dealias match
-        case tp: TypeRef if !tp.symbol.isClass => foldOver(tp.symbol :: xs, tp)
+        case tp: TypeRef if tp.symbol.exists && !tp.symbol.isClass => foldOver(tp.symbol :: xs, tp)
         case tp                                => foldOver(xs, tp)
     val syms2 = getAbstractSymbols(Nil, tp2).reverse
     if syms2.nonEmpty then ctx.gadt.addToConstraint(syms2)

tests/pos/i15964.scala

@@ -0,0 +1,16 @@
+// scalac: -Werror
+sealed trait T
+class C extends T
+
+class AClass
+type AType = AClass {
+  type TypeMember <: T
+}
+
+def list2Product(
+  atype: AType,
+  opt: atype.TypeMember
+): Unit =
+  opt match {
+    case _: C => ()
+  }