aboutsummaryrefslogtreecommitdiff
path: root/tests/untried/pos/t3577.scala
diff options
context:
space:
mode:
Diffstat (limited to 'tests/untried/pos/t3577.scala')
-rw-r--r--tests/untried/pos/t3577.scala29
1 files changed, 0 insertions, 29 deletions
diff --git a/tests/untried/pos/t3577.scala b/tests/untried/pos/t3577.scala
deleted file mode 100644
index 1ac1786c1..000000000
--- a/tests/untried/pos/t3577.scala
+++ /dev/null
@@ -1,29 +0,0 @@
-case class Check[A](val value: A)
-
-case class C2(checks: Check[_]*);
-
-object C {
- def m(x : C2): Any = (null: Any) match {
- case C2(_, rest : _*) => {
- rest.map(_.value)
- }
- }
-}
-
-///////////////////
-
-object Container {
- trait Exp[+T]
- abstract class FuncExp[-S, +T]
-
- sealed abstract class FoundNode[T, Repr] {
- def optimize[TupleT, U, That](parentNode: FlatMap[T, Repr, U, That]): Any
- def optimize2[TupleT, U, That](parentNode: Any): Any
- }
-
- class FlatMap[T, Repr, U, That]
-
- val Seq(fn: FoundNode[t, repr]) = Seq[FoundNode[_, _]]()
- fn.optimize(null) // was: scala.MatchError: ? (of class BoundedWildcardType) @ Variances#varianceInType
- fn.optimize2(null) // was: fatal error: bad type: ?(class scala.reflect.internal.Types$BoundedWildcardType) @ Pickle.putType
-}