WIP Add quoted.Liftable[IArray[T]] to the stdlib

Author: nicolasstucki

library/src/scala/quoted/Liftable.scala

@@ -1,5 +1,7 @@
 package scala.quoted
 
+import scala.reflect.ClassTag
+
 /** A typeclass for types that can be turned to `quoted.Expr[T]`
  *  without going through an explicit `'{...}` operation.
  */
@@ -43,6 +45,13 @@ object Liftable {
     }
   }
 
+  given [T: Type: Liftable: ClassTag] as Liftable[IArray[T]] = new Liftable[IArray[T]] {
+    def toExpr(iarray: IArray[T]): given QuoteContext => Expr[IArray[T]] = '{ // TODO specialize
+      val array = new Array[T](${Liftable_Int_delegate.toExpr(iarray.length)})(ClassTag(${ClassIsLiftable.toExpr(the[ClassTag[T]].runtimeClass)}))
+      ${ Expr.block(List.tabulate(iarray.length)(i => '{ array(${Liftable_Int_delegate.toExpr(i)}) = ${the[Liftable[T]].toExpr(iarray(i))} }), '{ array.asInstanceOf[IArray[T]] }) }
+    }
+  }
+
   given [T: Type: Liftable] as Liftable[List[T]] = new Liftable[List[T]] {
     def toExpr(x: List[T]): given QuoteContext => Expr[List[T]] = x match {
       case x :: xs  => '{ (${this.toExpr(xs)}).::[T](${the[Liftable[T]].toExpr(x)}) }

tests/run-with-compiler/quote-lib.scala

@@ -35,6 +35,9 @@ object Test {
     list.unrolledFoldLeft[Int](0)('{ (acc: Int, x: Int) => acc + x }).show
     list.unrolledForeach('{ (x: Int) => println(x) }).show
 
+    val iarray: IArray[Int] = IArray(1, 2, 3)
+    val liftedIArray: Expr[IArray[Int]] = iarray
+
     println("quote lib ok")
   }
 }
@@ -120,11 +123,5 @@ package liftable {
        }
     }
 
-    object Arrays {
-      implicit def ArrayIsLiftable[T: Liftable](implicit t: Type[T], ct: Expr[ClassTag[T]]): Liftable[Array[T]] = new Liftable[Array[T]] {
-        def toExpr(arr: Array[T]) = '{ new Array[$t](${arr.length})($ct) }
-      }
-    }
-
   }
 }