Merge pull request #6172 from milessabin/topic/i6157

Pattern-bound type refs should have Case flag set

Author: milessabin

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

@@ -290,7 +290,9 @@ object Flags {
   final val PackageVal: FlagSet = Package.toTermFlags
   final val PackageClass: FlagSet = Package.toTypeFlags
 
-  /** A case class or its companion object */
+  /** A case class or its companion object
+   *  Note: Case is also used to indicate that a symbol is bound by a pattern.
+   */
   final val Case: FlagSet = commonFlag(17, "case")
   final val CaseClass: FlagSet = Case.toTypeFlags
   final val CaseVal: FlagSet = Case.toTermFlags

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

@@ -513,7 +513,7 @@ class TreeUnpickler(reader: TastyReader,
         def complete(denot: SymDenotation)(implicit ctx: Context) =
           denot.info = typeReader.readType()
       }
-      val sym = ctx.newSymbol(ctx.owner, name, EmptyFlags, completer, coord = coordAt(start))
+      val sym = ctx.newSymbol(ctx.owner, name, Flags.Case, completer, coord = coordAt(start))
       registerSym(start, sym)
       sym
     }

tests/pos/inline-match-separate/inline-match-separate_1.scala

@@ -0,0 +1,6 @@
+object Utils {
+  class Box[T]
+  inline def foo[T](t: T) <: Any = inline t match {
+    case _: Box[a] => scala.compiletime.constValue[a]
+  }
+}

tests/pos/inline-match-separate/inline-match-separate_2.scala

@@ -0,0 +1,5 @@
+import Utils._
+
+object Test {
+  val a = foo(new Box["a"])
+}