Use transparent for uses of compiletime.testing.typeChecks

Author: nicolasstucki

dotty/core/src/main/scala/org/scalatest/Assertions.scala

@@ -662,7 +662,7 @@ trait Assertions extends TripleEquals  {
    *
    * @param code the snippet of code that should not type check
    */
-  inline def assertTypeError(inline code: String)(implicit pos: source.Position): Assertion =
+  transparent inline def assertTypeError(inline code: String)(implicit pos: source.Position): Assertion =
     ${ CompileMacro.assertTypeErrorImpl('code, '{typeChecks(code)}, '{ pos }) }
 
   /**
@@ -694,7 +694,7 @@ trait Assertions extends TripleEquals  {
    *
    * @param code the snippet of code that should not type check
    */
-  inline def assertDoesNotCompile(inline code: String)(implicit pos: source.Position): Assertion =
+  transparent inline def assertDoesNotCompile(inline code: String)(implicit pos: source.Position): Assertion =
     ${ CompileMacro.assertDoesNotCompileImpl('code, '{typeChecks(code)}, 'pos) }
 
   /**
@@ -716,7 +716,7 @@ trait Assertions extends TripleEquals  {
    *
    * @param code the snippet of code that should compile
    */
-  inline def assertCompiles(inline code: String)(implicit pos: source.Position): Assertion =
+  transparent inline def assertCompiles(inline code: String)(implicit pos: source.Position): Assertion =
     ${ CompileMacro.assertCompilesImpl('code, '{typeChecks(code)}, 'pos) }
 
   /**

dotty/core/src/main/scala/org/scalatest/expectations/Expectations.scala

@@ -111,13 +111,13 @@ private[scalatest] trait Expectations {
   inline def expect(expression: Boolean)(implicit prettifier: Prettifier, pos: source.Position): Fact =
     ${ ExpectationsMacro.expect('{expression})('{prettifier}, '{pos}) }
 
-  inline def expectDoesNotCompile(inline code: String)(implicit prettifier: Prettifier, pos: source.Position): Fact =
+  transparent inline def expectDoesNotCompile(inline code: String)(implicit prettifier: Prettifier, pos: source.Position): Fact =
     ${ CompileMacro.expectDoesNotCompileImpl('code, '{typeChecks(code)}, 'prettifier, 'pos) }
 
-  inline def expectCompiles(inline code: String)(implicit prettifier: Prettifier, pos: source.Position): Fact =
+  transparent inline def expectCompiles(inline code: String)(implicit prettifier: Prettifier, pos: source.Position): Fact =
     ${ CompileMacro.expectCompilesImpl('code, '{typeChecks(code)}, 'prettifier, 'pos) }
 
-  inline def expectTypeError(inline code: String)(implicit prettifier: Prettifier, pos: source.Position): Fact =
+  transparent inline def expectTypeError(inline code: String)(implicit prettifier: Prettifier, pos: source.Position): Fact =
     ${ CompileMacro.expectTypeErrorImpl('code, '{typeChecks(code)}, 'prettifier, 'pos) }
 
   import scala.language.implicitConversions