Add custom args to pos tests

scala · Aug 18, 2023 · 3b44c95 · 3b44c95
1 parent 94a2dff
commit 3b44c95
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/compiler/test/dotty/tools/dotc/CompilationTests.scala b/compiler/test/dotty/tools/dotc/CompilationTests.scala
@@ -43,6 +43,7 @@ class CompilationTests {
       compileFilesInDir("tests/pos-scala2", scala2CompatMode),
       compileFilesInDir("tests/pos-custom-args/captures", defaultOptions.and("-language:experimental.captureChecking")),
       compileFilesInDir("tests/pos-custom-args/erased", defaultOptions.and("-language:experimental.erasedDefinitions")),
+      compileFilesInDir("tests/pos-custom-args/quoted-pattern-poly", defaultOptions.and("-language:experimental.quotedPatternsWithPolymorphicFunctions")),
       compileFilesInDir("tests/pos", defaultOptions.and("-Ysafe-init")),
       // Run tests for legacy lazy vals
       compileFilesInDir("tests/pos", defaultOptions.and("-Ysafe-init", "-Ylegacy-lazy-vals", "-Ycheck-constraint-deps"), FileFilter.include(TestSources.posLazyValsAllowlist)),

diff --git a/...macros/hoas-patten-with-type-params.scala → ...poly/quoted-patten-with-type-params.scala b/...macros/hoas-patten-with-type-params.scala → ...poly/quoted-patten-with-type-params.scala
@@ -2,6 +2,10 @@ import scala.quoted.*
 
 def test(body: Expr[Any])(using Quotes): Expr[String] =
   body match
+    case '{ [A] => (x : A, y : A) => (x, y) } => ???
+    // Bounded type parameters are allowed when they are not used in
+    // higher-order patterns
+    case '{ [A <: Iterable[Int]] => (x : A) => x } => ???
     case '{ [A] => (x : A, y : A) => $b[A](x, y) : A } =>
       '{ $b[String]("truthy", "falsy") }
     case '{ [A, B] => (x : A, f : A => B) => $b[A, B](x, f) : B} =>