Merge pull request #6977 from dotty-staging/use-Conversion-for-autolift

Use Conversion[T, Expr[T]] for autolift

Author: nicolasstucki

community-build/community-projects/xml-interpolator

@@ -48,7 +48,7 @@ package object quoted {
   private object NoResult
 
   object autolift {
-    implicit def autoToExpr[T: Liftable](x: T) given QuoteContext: Expr[T] = x.toExpr
+    given autoToExpr[T] as Conversion[T, Expr[T]] given Liftable[T], QuoteContext = _.toExpr
   }
 
   implicit object ExprOps {

docs/docs/reference/metaprogramming/macros.md

@@ -1,5 +1,5 @@
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 object Macros {
 

library/src/scala/quoted/package.scala

@@ -1,6 +1,6 @@
 import scala.quoted._
 import scala.tasty.Tasty
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 import scala.language.implicitConversions
 

tests/disabled/neg-with-compiler/quote-run-in-macro-2/quoted_1.scala

@@ -1,6 +1,6 @@
 
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 import scala.quoted.matching._
 
 object Macro {

tests/disabled/run/xml-interpolation-3/XmlQuote_1.scala

@@ -1,6 +1,6 @@
 
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 import scala.quoted.matching._
 
 object Macro {

tests/neg-macros/i6432/Macro_1.scala

@@ -1,6 +1,6 @@
 
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 object E {
 

tests/neg-macros/i6432b/Macro_1.scala

@@ -1,6 +1,6 @@
 
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 object Macros {
   def tup1(tup: Tuple1[Int]) given QuoteContext: Expr[Int] = tup.productIterator.map(_.asInstanceOf[Int]).sum

tests/neg-macros/inline-macro-staged-interpreter/Macro_1.scala

@@ -1,5 +1,5 @@
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 // This test checks the correct interpretation of the inlined value class
 

tests/neg-macros/inline-tuples-1/Macro_1.scala

@@ -1,5 +1,5 @@
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 object Test {
 

tests/neg-macros/quote-interpolator-core-old.scala

@@ -1,5 +1,5 @@
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 object Foo {
   inline def foo(): Int = ${bar(${x})} // error

tests/neg-macros/quote-macro-splice.scala

@@ -1,5 +1,5 @@
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 object Macros {
 

tests/neg-macros/splice-in-top-level-splice-1.scala

@@ -1,5 +1,5 @@
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 
 object Macros {

tests/neg-with-compiler/quote-run-in-macro-1/quoted_1.scala

@@ -2,7 +2,7 @@ package blah
 
 import scala.language.implicitConversions
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 object AsObject {
   final class LineNo(val lineNo: Int)

tests/pending/run/tasty-comments/quoted_1.scala

@@ -1,6 +1,6 @@
 
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 object Macro {
 

tests/pos-macros/i6803b/Macro_1.scala

@@ -1,5 +1,5 @@
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 object Macros {
 

tests/pos-macros/quote-nested-object/Macro_1.scala

@@ -1,5 +1,5 @@
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 object Foo {
 

tests/pos-with-compiler/quote-0.scala

@@ -1,5 +1,5 @@
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 object Foo {
 

tests/run-custom-args/Yretain-trees/tasty-definitions-2/Macro_1.scala

@@ -1,5 +1,5 @@
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 object Macros {
 

tests/run-custom-args/Yretain-trees/tasty-definitions-3/Macro_1.scala

@@ -1,5 +1,5 @@
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 import scala.language.implicitConversions
 

tests/run-custom-args/Yretain-trees/tasty-extractors-owners/quoted_1.scala

@@ -1,5 +1,5 @@
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 import scala.quoted.matching._
 
 import scala.language.implicitConversions

tests/run-macros/f-interpolation-1/FQuote_1.scala

@@ -1,6 +1,6 @@
 import scala.annotation.tailrec
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 object Macros {
   inline def unrolledForeach(seq: IndexedSeq[Int], f: => Int => Unit, inline unrollSize: Int): Unit = // or f: Int => Unit

tests/run-macros/f-interpolator-neg/Macros_1.scala

@@ -1,5 +1,5 @@
 import scala.annotation.tailrec
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 import scala.quoted._
 

tests/run-macros/i4734/Macro_1.scala

@@ -1,5 +1,5 @@
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 object Macro {
   class StringContextOps(sc: => StringContext) {

tests/run-macros/i4735/Macro_1.scala

@@ -1,5 +1,5 @@
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 
 object Macro {

tests/run-macros/i5119/Macro_1.scala

@@ -1,5 +1,5 @@
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 object Lib {
   inline def sum(inline args: Int*): Int = ${ impl(args: _*) }

tests/run-macros/i5119b/Macro_1.scala

@@ -1,5 +1,5 @@
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 object Macros {
 

tests/run-macros/i5188a/Macro_1.scala

@@ -1,6 +1,6 @@
 object Macros {
   import scala.quoted._
-  import scala.quoted.autolift._
+  import given scala.quoted.autolift._
 
   inline def go[T](t: => T) = ${ impl('t) }
   def impl[T](expr: Expr[T]) given (qctx: QuoteContext): Expr[Unit] = {

tests/run-macros/i6518/Macro_1.scala

@@ -1,6 +1,6 @@
 
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 object Macros {
 

tests/run-macros/inferred-repeated-result/test_1.scala

@@ -1,6 +1,6 @@
 
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 object Macros {
   def tup1(tup: Tuple1[Int]) given QuoteContext: Expr[Int] = tup.productIterator.map(_.asInstanceOf[Int]).sum

tests/run-macros/inline-option/Macro_1.scala

@@ -1,6 +1,6 @@
 
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 object Macros {
 

tests/run-macros/inline-tuples-1/Macro_1.scala

@@ -1,6 +1,6 @@
 
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 object Macros {
   def sum(nums: Int*) given QuoteContext: Expr[Int] = nums.sum

tests/run-macros/inline-tuples-2/Macro_1.scala

@@ -1,5 +1,5 @@
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 case class Location(owners: List[String])
 

tests/run-macros/inline-varargs-1/Macro_1.scala

@@ -1,5 +1,5 @@
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 
 class Index[K, Keys](val index: String) extends AnyVal {

tests/run-macros/quote-force/quoted_1.scala

@@ -1,5 +1,5 @@
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 object Macros {
 

tests/run-macros/quote-impure-by-name/quoted_1.scala

@@ -1,5 +1,5 @@
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 object Macro {
 

tests/run-macros/quote-inline-function/quoted_1.scala

@@ -1,5 +1,5 @@
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 import scala.tasty.Reflection
 

tests/run-macros/quote-matching-optimize-1/Macro_1.scala

@@ -1,5 +1,5 @@
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 import scala.tasty.Reflection
 

tests/run-macros/quote-matching-optimize-2/Macro_1.scala

@@ -1,5 +1,5 @@
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 object Macros {
   inline def foo(inline i: Int, dummy: Int, j: Int): Int = ${ bar(i, 'j) }

tests/run-macros/quote-matching-optimize-3/Macro_1.scala

@@ -1,6 +1,6 @@
 import scala.annotation.tailrec
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 object Macro {
 

tests/run-macros/quote-simple-macro/quoted_1.scala

@@ -1,5 +1,5 @@
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 object Macros {
 

tests/run-macros/quote-unrolled-foreach/quoted_1.scala

@@ -1,5 +1,5 @@
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 
 object Macros {

tests/run-macros/tasty-argument-tree-1/quoted_1.scala

@@ -1,5 +1,5 @@
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 object Macros {
 

tests/run-macros/tasty-custom-show/quoted_1.scala

@@ -1,5 +1,5 @@
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 object Macros {
 

tests/run-macros/tasty-definitions-1/quoted_1.scala

@@ -1,5 +1,5 @@
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 object Macros {
 

tests/run-macros/tasty-eval/quoted_1.scala

@@ -1,5 +1,5 @@
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 object Macros {
 

tests/run-macros/tasty-extractors-1/quoted_1.scala

@@ -1,6 +1,6 @@
 import scala.quoted._
 
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 object Macros {
 

tests/run-macros/tasty-extractors-2/quoted_1.scala

@@ -1,5 +1,5 @@
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 import scala.quoted.matching._
 

tests/run-macros/tasty-extractors-3/quoted_1.scala

@@ -1,5 +1,5 @@
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 object Macros {
 

tests/run-macros/tasty-extractors-constants-1/quoted_1.scala

@@ -1,5 +1,5 @@
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 object SourceFiles {
 

tests/run-macros/tasty-extractors-types/quoted_1.scala

@@ -1,5 +1,5 @@
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 
 object SourceFiles {

tests/run-macros/tasty-getfile-implicit-fun-context/Macro_1.scala

@@ -1,6 +1,6 @@
 
 import scala.quoted._
-import scala.quoted.autolift._
+import given scala.quoted.autolift._
 
 class MyMap[Keys](private val underlying: Array[Int]) extends AnyVal {
   def get[K <: String](implicit i: Index[K, Keys]): Int = underlying(i.index)