Change more tests and docs

Author: odersky

compiler/test/dotty/tools/backend/jvm/InlineBytecodeTests.scala

@@ -75,7 +75,7 @@ class InlineBytecodeTests extends DottyBytecodeTest {
 
   @Test def i4947 = {
     val source = """class Foo {
-                   |  inline def track[T](inline f: T) <: T = {
+                   |  transparent inline def track[T](inline f: T): T = {
                    |    foo("tracking") // line 3
                    |    f // line 4
                    |  }
@@ -134,11 +134,11 @@ class InlineBytecodeTests extends DottyBytecodeTest {
 
   @Test def i4947b = {
     val source = """class Foo {
-                   |  inline def track2[T](inline f: T) <: T = {
+                   |  transparent inline def track2[T](inline f: T): T = {
                    |    foo("tracking2") // line 3
                    |    f // line 4
                    |  }
-                   |  inline def track[T](inline f: T) <: T = {
+                   |  transparent inline def track[T](inline f: T): T = {
                    |    foo("tracking") // line 7
                    |    track2 { // line 8
                    |      f // line 9
@@ -194,11 +194,11 @@ class InlineBytecodeTests extends DottyBytecodeTest {
 
   @Test def i4947c = {
     val source = """class Foo {
-                   |  inline def track2[T](inline f: T) <: T = {
+                   |  transparent inline def track2[T](inline f: T): T = {
                    |    foo("tracking2") // line 3
                    |    f // line 4
                    |  }
-                   |  inline def track[T](inline f: T) <: T = {
+                   |  transparent inline def track[T](inline f: T): T = {
                    |    track2 { // line 7
                    |      foo("fgh") // line 8
                    |      f // line 9
@@ -254,11 +254,11 @@ class InlineBytecodeTests extends DottyBytecodeTest {
 
   @Test def i4947d = {
     val source = """class Foo {
-                   |  inline def track2[T](inline f: T) <: T = {
+                   |  transparent inline def track2[T](inline f: T): T = {
                    |    foo("tracking2") // line 3
                    |    f // line 4
                    |  }
-                   |  inline def track[T](inline f: T) <: T = {
+                   |  transparent inline def track[T](inline f: T): T = {
                    |    track2 { // line 7
                    |      track2 { // line 8
                    |        f // line 9
@@ -319,7 +319,7 @@ class InlineBytecodeTests extends DottyBytecodeTest {
                    |  def test: Int = {
                    |    var a = 10
                    |
-                   |    inline def f() = {
+                   |    transparent inline def f() = {
                    |      a += 1
                    |    }
                    |

docs/docs/reference/metaprogramming/macros.md

@@ -601,7 +601,7 @@ inline method that can calculate either a value of type `Int` or a value of type
 `String`.
 
 ```scala
-inline def defaultOf(inline str: String) <: Any = ${ defaultOfImpl('str) }
+transparent inline def defaultOf(inline str: String) = ${ defaultOfImpl('str) }
 
 def defaultOfImpl(strExpr: Expr[String])(using QuoteContext): Expr[Any] =
   strExpr.unliftOrError match

tests/disabled/pos/quote-whitebox/Macro_1.scala

@@ -3,7 +3,7 @@ import scala.quoted._
 
 object Macro {
 
-  inline def charOrString(inline str: String) <: Char | String = ${ impl(str) }
+  transparent inline def charOrString(inline str: String): Char | String = ${ impl(str) }
 
   def impl(str: String) = if (str.length == 1) Expr(str.charAt(0)) else Expr(str)
 

tests/invalid/run/typelevel-patmat.scala

@@ -21,7 +21,7 @@ object Test extends App {
   type HNil = HNil.type
   type Z = Z.type
 
-  inline def ToNat(inline n: Int) <: Typed[Nat] =
+  transparent 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 {
+  transparent inline def toInt(n: Nat): Int = inline n match {
     case Z => 0
     case S(n1) => toInt(n1) + 1
   }