@@ -5,23 +5,38 @@ import scala.annotation.{Annotation, compileTimeOnly}
55@ compileTimeOnly(" Illegal reference to `scala.quoted.runtime.Patterns`" )
66object Patterns {
77
8- /** A splice in a quoted pattern is desugared by the compiler into a call to this method */
8+ /** A splice in a quoted pattern is desugared by the compiler into a call to this method.
9+ *
10+ * Calling this method in source has undefined behaviour at compile-time
11+ */
912 @ compileTimeOnly(" Illegal reference to `scala.quoted.runtime.Patterns.patternHole`" )
1013 def patternHole [T ]: T = ???
1114
15+ /** A higher order splice in a quoted pattern is desugared by the compiler into a call to this method.
16+ *
17+ * Calling this method in source has undefined behaviour at compile-time
18+ */
1219 @ compileTimeOnly(" Illegal reference to `scala.quoted.runtime.Patterns.patternHigherOrderHole`" )
13- /** A higher order splice in a quoted pattern is desugared by the compiler into a call to this method */
1420 def patternHigherOrderHole [U ](pat : Any , args : Any * ): U = ???
1521
22+ /** A higher order splice in a quoted pattern is desugared by the compiler into a call to this method.
23+ *
24+ * Calling this method in source has undefined behaviour at compile-time
25+ */
1626 @ compileTimeOnly(" Illegal reference to `scala.quoted.runtime.Patterns.higherOrderHole`" )
17- /** A higher order splice in a quoted pattern is desugared by the compiler into a call to this method */
1827 def higherOrderHole [U ](args : Any * ): U = ???
1928
20- /** A splice of a name in a quoted pattern is that marks the definition of a type splice */
29+ /** A splice of a name in a quoted pattern is that marks the definition of a type splice.
30+ *
31+ * Adding this annotation in source has undefined behaviour at compile-time
32+ */
2133 @ compileTimeOnly(" Illegal reference to `scala.quoted.runtime.Patterns.patternType`" )
2234 class patternType extends Annotation
2335
24- /** A type pattern that must be aproximated from above */
36+ /** A type pattern that must be aproximated from above
37+ *
38+ * Adding this annotation in source has undefined behaviour at compile-time
39+ */
2540 @ compileTimeOnly(" Illegal reference to `scala.quoted.runtime.Patterns.fromAbove`" )
2641 class fromAbove extends Annotation
2742
0 commit comments