Merge pull request #1409 from dotty-staging/fix-hk-typdefs-of-lambdas

Fix parameterized typedefs with lambdas as rhs

1 files changed, 21 insertions, 0 deletions

diff --git a/tests/pos/nestedLambdas.scala b/tests/pos/nestedLambdas.scala
new file mode 100644
index 000000000..58be1ae2f
--- /dev/null
+++ b/tests/pos/nestedLambdas.scala
@@ -0,0 +1,21 @@
+class Test {
+
+  type T = [X] -> [Y] -> (X, Y)
+
+  type A[X] = [Y] -> (X, Y)
+
+  type B[X] = (X, X)
+
+  val x: T[Int][Boolean] = ???
+
+  val y: A[Int][Boolean] = x
+
+  def f[X <: T[Int]] = ???
+
+  f[A[Int]]
+
+  def g[X <: T] = ???
+
+  g[A]
+
+}