Reclassify previously invalidated tests

Reclassify previously invalidated typelevel tests

 - some of them work again
 - some of them can be turned into neg tests
 - the rest gets a note why they are invalid

Author: odersky

compiler/test/dotc/run-from-tasty.blacklist

@@ -3,3 +3,6 @@ eff-dependent.scala
 
 # It seems we still harmonize types in fromTasty. Not sure where this happens
 puzzle.scala
+
+# Need to print empty tree for implicit match
+implicitMatch.scala

tests/invalid/neg/typelevel.scala

@@ -1,3 +1,4 @@
+// This test requires retyping from untyped trees after inlining, which is not supported anymore
 trait HList {
   def length: Int
   def head: Any

tests/invalid/pos/transparent-overload.scala

@@ -1,5 +1,6 @@
 import annotation.showAsInfix
 
+// This version of Tuple requires full retyping of untyped trees on inlining
 object typelevel {
   erased def erasedValue[T]: T = ???
   class Typed[T](val value: T) { type Type = T }

tests/invalid/pos/typelevel-vector1.scala

@@ -1,4 +1,4 @@
-
+// This test requires retyping from untyped trees after inlining, which is not supported anymore
 object typelevel {
   case class Typed[T](value: T) { type Type = T }
 }
@@ -21,7 +21,7 @@ object Test extends App {
   type HNil = HNil.type
   type Z = Z.type
 
-  inline def ToNat(inline n: Int): Typed[Nat] =
+  inline def ToNat(inline n: Int) <: Typed[Nat] =
     if n == 0 then Typed(Z)
     else Typed(S(ToNat(n - 1).value))
 
@@ -35,7 +35,7 @@ object Test extends App {
   println(x1)
   println(x2)
 
-  inline def toInt(n: Nat): Int = inline n match {
+  inline def toInt(n: Nat) <: Int = inline n match {
     case Z => 0
     case S(n1) => toInt(n1) + 1
   }
@@ -45,7 +45,7 @@ object Test extends App {
   inline val i2 = toInt(y2)
   val j2: 2 = i2
 
-  inline def concat(xs: HList, ys: HList): HList = inline xs match {
+  inline def concat(xs: HList, ys: HList) <: HList = inline xs match {
     case HNil => ys
     case HCons(x, xs1) => HCons(x, concat(xs1, ys))
   }
@@ -68,7 +68,7 @@ object Test extends App {
   val r6 = concat(HCons(1, HCons("a", HNil)), HCons(true, HCons(1.0, HNil)))
   val c6: HCons[Int, HCons[String, HCons[Boolean, HCons[Double, HNil]]]] = r6
 
-  inline def nth(xs: HList, n: Int): Any = inline xs match {
+  inline def nth(xs: HList, n: Int) <: Any = inline xs match {
     case HCons(x, _)   if n == 0 => x
     case HCons(_, xs1) if n > 0  => nth(xs1, n - 1)
   }
@@ -78,12 +78,12 @@ object Test extends App {
   val e1 = nth(r2, 1)
   val ce1: String = e1
 
-  inline def concatTyped(xs: HList, ys: HList): Typed[_ <: HList] = inline xs match {
+  inline def concatTyped(xs: HList, ys: HList) <: Typed[_ <: HList] = inline xs match {
     case HNil => Typed(ys)
     case HCons(x, xs1) => Typed(HCons(x, concatTyped(xs1, ys).value))
   }
 
-  def concatImpl(xs: HList, ys: HList): HList = xs match {
+  def concatImpl(xs: HList, ys: HList) <: HList = xs match {
     case HNil => ys
     case HCons(x, xs1) => HCons(x, concatImpl(xs1, ys))
   }

tests/invalid/run/Tuple.scala

@@ -1,4 +1,4 @@
-
+// This test requires retyping from untyped trees after inlining, which is not supported anymore
 trait HList {
   def length: Int = ???
   def head: Any

tests/invalid/run/typelevel-patmat.scala

@@ -1,4 +1,4 @@
-
+// This test requires retyping from untyped trees after inlining, which is not supported anymore
 trait HList {
   def length: Int = 0
   def head: Any

tests/invalid/run/typelevel1.scala

@@ -0,0 +1,24 @@
+// This test demonstrates that overloading resulution is not redone when
+// inlining.
+object Test {
+
+  def f(x: Int): Int = x
+  def f(x: String): String = x
+  def f(x: Any): Any = x
+
+  inline def g(x: Any) = f(x)
+  inline def h(x: Any) = this.f(x)
+
+  locally {
+    val x1 = g(1)
+    val x2 = g("bb")
+    val y1: Int = x1    // error: type mismatch
+    val y2: String = x2 // error: type mismatch
+  }
+  locally {
+    val x1 = h(1)
+    val x2 = h("bb")
+    val y1: Int = x1    // error: type mismatch
+    val y2: String = x2 // error: type mismatch
+  }
+}

tests/invalid/run/typelevel3.scala

@@ -5,7 +5,7 @@ object typelevel {
 
 object Test extends App {
 
-  inline def defaultValue[T]: Option[Any] = inline typelevel.erasedValue[T] match {
+  inline def defaultValue[T] <: Option[Any] = inline typelevel.erasedValue[T] match {
     case _: Byte => Some(0: Byte)
     case c: Char => Some(0: Char)
     case d @ (_: Short) => Some(0: Short)