From fdfa1e4b9154d6984147873b54c101806ade439b Mon Sep 17 00:00:00 2001
From: Nicolas Stucki <nicolas.stucki@gmail.com>
Date: Tue, 2 May 2023 09:14:43 +0200
Subject: [PATCH] Add regression tests

Closes #13376
---
 tests/neg-macros/i13376a.scala | 6 ++++++
 tests/neg-macros/i13376b.scala | 6 ++++++
 tests/pos-macros/i13376a.scala | 7 +++++++
 tests/pos-macros/i13376b.scala | 7 +++++++
 4 files changed, 26 insertions(+)
 create mode 100644 tests/neg-macros/i13376a.scala
 create mode 100644 tests/neg-macros/i13376b.scala
 create mode 100644 tests/pos-macros/i13376a.scala
 create mode 100644 tests/pos-macros/i13376b.scala

diff --git a/tests/neg-macros/i13376a.scala b/tests/neg-macros/i13376a.scala
new file mode 100644
index 000000000000..563513eed232
--- /dev/null
+++ b/tests/neg-macros/i13376a.scala
@@ -0,0 +1,6 @@
+import scala.quoted.*
+trait C:
+  type T
+  def foo: T
+inline def makro(inline x: C): x.T = ${ impl[x.type]('x) } // error // error
+def impl[CC <: C](xp: Expr[CC])(using Quotes): Expr[CC#T] = '{ $xp.foo }
diff --git a/tests/neg-macros/i13376b.scala b/tests/neg-macros/i13376b.scala
new file mode 100644
index 000000000000..8866c24102fd
--- /dev/null
+++ b/tests/neg-macros/i13376b.scala
@@ -0,0 +1,6 @@
+import scala.quoted.*
+trait C:
+  type T
+  def foo: T
+inline def makro(x: C): x.T = ${ impl[x.type]('x) }
+def impl[CC <: C](xp: Expr[CC])(using Quotes): Expr[CC#T] = '{ $xp.foo } // error
diff --git a/tests/pos-macros/i13376a.scala b/tests/pos-macros/i13376a.scala
new file mode 100644
index 000000000000..8e746d0e34a8
--- /dev/null
+++ b/tests/pos-macros/i13376a.scala
@@ -0,0 +1,7 @@
+import scala.quoted.*
+trait C:
+  type T
+  def foo: T
+inline def makro(x: C): x.T = ${ impl[x.T]('x) }
+def impl[U: Type](xp: Expr[C { def foo: U }])(using Quotes): Expr[U] =
+  '{ $xp.foo }
diff --git a/tests/pos-macros/i13376b.scala b/tests/pos-macros/i13376b.scala
new file mode 100644
index 000000000000..8aa171ff07dd
--- /dev/null
+++ b/tests/pos-macros/i13376b.scala
@@ -0,0 +1,7 @@
+import scala.quoted.*
+trait C:
+  type T
+  def foo: T
+inline def makro(inline x: C): C#T = ${ impl('x) }
+def impl[U: Type](xp: Expr[C { def foo: U }])(using Quotes): Expr[U] =
+  '{ $xp.foo }