aboutsummaryrefslogtreecommitdiff
path: root/tests/pending/pos/t7785.scala
diff options
context:
space:
mode:
Diffstat (limited to 'tests/pending/pos/t7785.scala')
-rw-r--r--tests/pending/pos/t7785.scala34
1 files changed, 0 insertions, 34 deletions
diff --git a/tests/pending/pos/t7785.scala b/tests/pending/pos/t7785.scala
deleted file mode 100644
index 1de693d13..000000000
--- a/tests/pending/pos/t7785.scala
+++ /dev/null
@@ -1,34 +0,0 @@
-import scala.language._
-
-trait R[+Repr]
-
-trait TraversableOps {
- implicit val R: R[Nothing] = ???
-
- // Removing the implicit parameter in both fixes the crash
- // removing it into one only gives a valid compiler error.
- trait OpsDup1[Repr] {
- def force(implicit bf: R[Repr]): Any
- }
-
- trait Ops[Repr] extends OpsDup1[Repr] {
- def force(implicit bf: R[Repr], dummy: DummyImplicit): Any
- }
-
- implicit def ct2ops[T, C[+X]](t: C[T]):
- Ops[C[T]]
-
- def force[T](t: Option[T]) =
- // ct2ops(t).force
- t.force //Fails compilation on 2.10.2.
-
-
- /* To get a closer look at the crash:
- :power
- val foo = typeOf[C].member(TermName("foo"))
- val pt = analyzer.HasMember(TermName("force"))
- val instantiated = foo.info.finalResultType.instantiateTypeParams(foo.typeParams, foo.typeParams.map(TypeVar(_)))
- instantiated <:< pt
- */
- def foo[T, C[+X]]: Ops[C[T]]
-}