Skip to content

Commit e973be3

Browse files
committed
Add capture checking to scala.reflect
Just imports for now, no quotes support for capturing types yet
1 parent 65581d1 commit e973be3

File tree

4 files changed

+8
-0
lines changed

4 files changed

+8
-0
lines changed

library/src/scala/reflect/Enum.scala

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,7 @@
11
package scala.reflect
22

3+
import language.experimental.captureChecking
4+
35
/** A base trait of all Scala enum definitions */
46
transparent trait Enum extends Any, Product, Serializable:
57

library/src/scala/reflect/Selectable.scala

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,7 @@
11
package scala.reflect
22

3+
import language.experimental.captureChecking
4+
35
/** A class that implements structural selections using Java reflection.
46
*
57
* It can be used as a supertrait of a class or be made available

library/src/scala/reflect/TypeTest.scala

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,7 @@
11
package scala.reflect
22

3+
import language.experimental.captureChecking
4+
35
/** A `TypeTest[S, T]` contains the logic needed to know at runtime if a value of
46
* type `S` is an instance of `T`.
57
*

library/src/scala/reflect/Typeable.scala

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,7 @@
11
package scala.reflect
22

3+
import language.experimental.captureChecking
4+
35
/** A shorhand for `TypeTest[Any, T]`. A `Typeable[T] contains the logic needed to
46
* know at runtime if a value can be downcasted to `T`.
57
*

0 commit comments

Comments
 (0)