diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2016-07-25 13:58:06 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-07-25 13:58:06 -0700 |
commit | 0ba8d7de28333886b88432ba4a9cdf05b222e85a (patch) | |
tree | dc9916c394c32710fc50481d41fb50e217749953 /tests | |
parent | b6882d6402bfc290a1fe589425d6dc4ff16976a8 (diff) | |
parent | 006748d895ade64b0b63916996eb7df8258def18 (diff) | |
download | dotty-0ba8d7de28333886b88432ba4a9cdf05b222e85a.tar.gz dotty-0ba8d7de28333886b88432ba4a9cdf05b222e85a.tar.bz2 dotty-0ba8d7de28333886b88432ba4a9cdf05b222e85a.zip |
Merge pull request #1409 from dotty-staging/fix-hk-typdefs-of-lambdas
Fix parameterized typedefs with lambdas as rhs
Diffstat (limited to 'tests')
-rw-r--r-- | tests/pos/nestedLambdas.scala | 21 |
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] + +} |