aboutsummaryrefslogtreecommitdiff
path: root/tests/disabled/macro/run/macro-def-path-dependent/Test_1.scala
diff options
context:
space:
mode:
Diffstat (limited to 'tests/disabled/macro/run/macro-def-path-dependent/Test_1.scala')
-rw-r--r--tests/disabled/macro/run/macro-def-path-dependent/Test_1.scala25
1 files changed, 25 insertions, 0 deletions
diff --git a/tests/disabled/macro/run/macro-def-path-dependent/Test_1.scala b/tests/disabled/macro/run/macro-def-path-dependent/Test_1.scala
new file mode 100644
index 000000000..4161a6430
--- /dev/null
+++ b/tests/disabled/macro/run/macro-def-path-dependent/Test_1.scala
@@ -0,0 +1,25 @@
+// NOTE: blocked by SI-8049
+
+// package test1
+//
+// import scala.reflect.macros.blackbox.Context
+//
+// trait Exprs {
+// self: Universe =>
+//
+// class Expr[T]
+// }
+//
+// trait Reifiers {
+// self: Universe =>
+//
+// type Expr[T]
+//
+// def reify[T](expr: T): Expr[T] = macro Impls.reify[T]
+// }
+//
+// trait Universe extends Exprs with Reifiers
+//
+// object Impls {
+// def reify[T](cc: Context{ type PrefixType = Reifiers })(expr: cc.Expr[T]): cc.Expr[cc.prefix.value.Expr[T]] = ???
+// }