Teach provablyDisjoint about AnyKind

Author: dwijnand

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

@@ -2828,6 +2828,10 @@ class TypeComparer(@constructorOnly initctx: Context) extends ConstraintHandling
         provablyDisjoint(tp1, defn.AnyType)
       case _ if !ctx.erasedTypes && tp1.isFromJavaObject =>
         provablyDisjoint(defn.AnyType, tp2)
+      case (tp1: TypeRef, _) if tp1.symbol == defn.AnyKindClass =>
+        false
+      case (_, tp2: TypeRef) if tp2.symbol == defn.AnyKindClass =>
+        false
       case (tp1: TypeRef, _) if tp1.symbol == defn.SingletonClass =>
         false
       case (_, tp2: TypeRef) if tp2.symbol == defn.SingletonClass =>

tests/patmat/i18507.scala

@@ -0,0 +1,6 @@
+import scala.quoted.*
+
+trait DFValOf[T]
+
+def calcWidth(x: List[Type[?]])(using q: Quotes): Unit =
+  x.collect { case '[DFValOf[t]] => ???}