aboutsummaryrefslogtreecommitdiff
path: root/tests/pending/pos/t6516.scala
diff options
context:
space:
mode:
Diffstat (limited to 'tests/pending/pos/t6516.scala')
-rw-r--r--tests/pending/pos/t6516.scala19
1 files changed, 0 insertions, 19 deletions
diff --git a/tests/pending/pos/t6516.scala b/tests/pending/pos/t6516.scala
deleted file mode 100644
index 2980d83eb..000000000
--- a/tests/pending/pos/t6516.scala
+++ /dev/null
@@ -1,19 +0,0 @@
-import scala.language.experimental.macros
-import scala.reflect.macros.blackbox.Context
-import scala.collection.TraversableLike
-
-// This one compiles
-object Test {
- type Alias[T, CC[_]] = Context { type PrefixType = TraversableLike[T, CC[T]] }
- def f() = macro f_impl
- def f_impl(c: Alias[Int, List])() = ???
-}
-
-// This one doesn't
-object Test2 {
- type Ctx = scala.reflect.macros.blackbox.Context
- type Alias[T, CC[_]] = Ctx { type PrefixType = TraversableLike[T, CC[T]] }
-
- def f() = macro f_impl
- def f_impl(c: Alias[Int, List])() = ???
-}