Attempt to capture-check quotes

Author: natsukagami

TODO.md

@@ -62,20 +62,20 @@
 - [x] library/src/scala/compiletime/testing/ErrorKind.scala
 - [x] library/src/scala/compiletime/testing/package.scala
 - [x] library/src/scala/main.scala
-- [ ] library/src/scala/quoted/Expr.scala
-- [ ] library/src/scala/quoted/ExprMap.scala
-- [ ] library/src/scala/quoted/Exprs.scala
-- [ ] library/src/scala/quoted/FromExpr.scala
-- [ ] library/src/scala/quoted/Quotes.scala
-- [ ] library/src/scala/quoted/ToExpr.scala
-- [ ] library/src/scala/quoted/Type.scala
-- [ ] library/src/scala/quoted/Varargs.scala
-- [ ] library/src/scala/quoted/runtime/Expr.scala
-- [ ] library/src/scala/quoted/runtime/Patterns.scala
-- [ ] library/src/scala/quoted/runtime/QuoteMatching.scala
-- [ ] library/src/scala/quoted/runtime/QuoteUnpickler.scala
-- [ ] library/src/scala/quoted/runtime/SplicedType.scala
-- [ ] library/src/scala/quoted/runtime/StopMacroExpansion.scala
+- [x] library/src/scala/quoted/Expr.scala
+- [x] library/src/scala/quoted/ExprMap.scala
+- [x] library/src/scala/quoted/Exprs.scala
+- [x] library/src/scala/quoted/FromExpr.scala
+- [x] library/src/scala/quoted/Quotes.scala
+- [x] library/src/scala/quoted/ToExpr.scala
+- [x] library/src/scala/quoted/Type.scala
+- [x] library/src/scala/quoted/Varargs.scala
+- [x] library/src/scala/quoted/runtime/Expr.scala
+- [x] library/src/scala/quoted/runtime/Patterns.scala
+- [x] library/src/scala/quoted/runtime/QuoteMatching.scala
+- [x] library/src/scala/quoted/runtime/QuoteUnpickler.scala
+- [x] library/src/scala/quoted/runtime/SplicedType.scala
+- [x] library/src/scala/quoted/runtime/StopMacroExpansion.scala
 - [x] library/src/scala/reflect/Enum.scala
 - [x] library/src/scala/reflect/Selectable.scala
 - [x] library/src/scala/reflect/TypeTest.scala

library/src/scala/quoted/Expr.scala

@@ -1,5 +1,7 @@
 package scala.quoted
 
+import language.experimental.captureChecking
+
 /** Quoted expression of type `T`.
  *
  *  `Expr` has extension methods that are defined in `scala.quoted.Quotes`.

library/src/scala/quoted/ExprMap.scala

@@ -1,5 +1,7 @@
 package scala.quoted
 
+import language.experimental.captureChecking
+
 trait ExprMap:
 
   /** Map an expression `e` with a type `T` */

library/src/scala/quoted/Exprs.scala

@@ -1,5 +1,7 @@
 package scala.quoted
 
+import language.experimental.captureChecking
+
 object Exprs:
 
   /** Matches literal sequence of literal constant value expressions and return a sequence of values.

library/src/scala/quoted/FromExpr.scala

@@ -1,5 +1,7 @@
 package scala.quoted
 
+import language.experimental.captureChecking
+
 /** A type class for types that can convert a `quoted.Expr[T]` to a `T`.
  *
  *  - Converts expression containing literal values to their values:

library/src/scala/quoted/Quotes.scala

@@ -1,5 +1,7 @@
 package scala.quoted
 
+import language.experimental.captureChecking
+
 import scala.annotation.{experimental, implicitNotFound, unused}
 import scala.reflect.TypeTest
 

library/src/scala/quoted/ToExpr.scala

@@ -1,5 +1,7 @@
 package scala.quoted
 
+import language.experimental.captureChecking
+
 import scala.reflect.ClassTag
 
 /** A type class for types that can convert a value of `T` into `quoted.Expr[T]`

library/src/scala/quoted/Type.scala

@@ -1,5 +1,7 @@
 package scala.quoted
 
+import language.experimental.captureChecking
+
 import scala.annotation.{compileTimeOnly, experimental}
 
 /** Type (or type constructor) `T` needed contextually when using `T` in a quoted expression `'{... T ...}` */

library/src/scala/quoted/Varargs.scala

@@ -1,5 +1,7 @@
 package scala.quoted
 
+import language.experimental.captureChecking
+
 /** Expression representation of literal sequence of expressions.
  *
  *  `Varargs` can be used to create the an expression `args` that will be used as varargs `'{ f($args: _*) }`

library/src/scala/quoted/runtime/Expr.scala

@@ -1,6 +1,8 @@
 package scala.quoted
 package runtime
 
+import language.experimental.captureChecking
+
 import scala.annotation.{Annotation, compileTimeOnly}
 
 @compileTimeOnly("Illegal reference to `scala.quoted.runtime.Expr`")