Add Erased base trait

odersky · odersky · commit 72f8d0a1755e · 2025-07-14T23:43:52.000+02:00
diff --git a/library/src/scala/compiletime/Erased.scala b/library/src/scala/compiletime/Erased.scala
@@ -0,0 +1,7 @@
+package scala.compiletime
+import annotation.experimental
+
+/** A marker trait for erased values. vals or parameters whose type extends
+ *  `Erased` get an implicit `erased` modifier.
+ */
+@experimental trait Erased
diff --git a/tests/run-tasty-inspector/stdlibExperimentalDefinitions.scala b/tests/run-tasty-inspector/stdlibExperimentalDefinitions.scala
@@ -105,7 +105,10 @@ val experimentalDefinitionInLibrary = Set(
   "scala.Predef$.runtimeChecked", "scala.annotation.internal.RuntimeChecked",
 
   // New feature: SIP 61 - @unroll annotation
-  "scala.annotation.unroll"
+  "scala.annotation.unroll",
+
+  // New feature: Erased trait
+  "scala.compiletime.Erased",
 )
 
 

Original file line number	Diff line number	Diff line change
`@@ -105,7 +105,10 @@ val experimentalDefinitionInLibrary = Set(`
`105`	`105`	`"scala.Predef$.runtimeChecked", "scala.annotation.internal.RuntimeChecked",`
`106`	`106`
`107`	`107`	`// New feature: SIP 61 - @unroll annotation`
`108`		`- "scala.annotation.unroll"`
	`108`	`+ "scala.annotation.unroll",`
	`109`	`+`
	`110`	`+ // New feature: Erased trait`
	`111`	`+ "scala.compiletime.Erased",`
`109`	`112`	`)`
`110`	`113`
`111`	`114`