From 9a3b255cc422ac89a031bcecc27c1801409db634 Mon Sep 17 00:00:00 2001 From: Nicolas Stucki Date: Mon, 29 May 2017 11:32:07 +0200 Subject: [PATCH] Fix #1650: Add regression test --- tests/neg/i1650.scala | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 tests/neg/i1650.scala diff --git a/tests/neg/i1650.scala b/tests/neg/i1650.scala new file mode 100644 index 000000000000..26b8a489ac40 --- /dev/null +++ b/tests/neg/i1650.scala @@ -0,0 +1,5 @@ +object Test { + test4(test4$default$1) // error + def test4[T[P]](x: T[T[List[T[X forSome { type X }]]]]) = ??? // error // error + def test4$default$1[T[P]]: T[Int] = ??? +}