Fix parameterized typedefs with lambdas as rhs

Previously the compiler crashed when faced with a parameterized typedef
that has a lambda as rhs. We fix this by refining the condition when
not to abstract in typeDefsig.

1 files changed, 9 insertions, 0 deletions

diff --git a/tests/pos/nestedLambdas.scala b/tests/pos/nestedLambdas.scala
new file mode 100644
index 000000000..0e186d193
--- /dev/null
+++ b/tests/pos/nestedLambdas.scala
@@ -0,0 +1,9 @@
+class Test {
+
+  type T = [X] -> [Y] -> (X, Y)
+
+  type A[X] = [Y] -> (X, Y)
+
+  type B[X] = (X, X)
+
+}