We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents a05fc4b + 03fbdc5 commit 94e7abeCopy full SHA for 94e7abe
library/src/scala/compiletime/package.scala
@@ -8,11 +8,13 @@ package object compiletime {
8
* pattern match on it. For example, given a type `Tup <: Tuple`, one can
9
* pattern-match on it as follows:
10
* ```
11
- * erasedValue[Tup] match {
+ * inline erasedValue[Tup] match {
12
* case _: EmptyTuple => ...
13
* case _: h *: t => ...
14
* }
15
16
+ * This value can only be used in an inline match and the value cannot be used in
17
+ * the branches.
18
*/
19
erased def erasedValue[T]: T = ???
20
0 commit comments