diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-07-22 15:22:13 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-07-22 15:22:13 +0200 |
| commit | 013101d9f77d8283007911c61aaae7ac9cc2d486 (patch) | |
| tree | ca3895373443d42008a31d505fdab66fd10b578d /tests | |
| parent | 5968e9f6154cc8642fc3f6cef636a12104dd7a26 (diff) | |
| download | dotty-013101d9f77d8283007911c61aaae7ac9cc2d486.tar.gz dotty-013101d9f77d8283007911c61aaae7ac9cc2d486.tar.bz2 dotty-013101d9f77d8283007911c61aaae7ac9cc2d486.zip | |
Take curried type lambdas into account
Adapt operations TypeApplications and TypeComparer to account
for the possibilities of curried type lambdas.
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/pos/nestedLambdas.scala | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/tests/pos/nestedLambdas.scala b/tests/pos/nestedLambdas.scala index 0e186d193..58be1ae2f 100644 --- a/tests/pos/nestedLambdas.scala +++ b/tests/pos/nestedLambdas.scala @@ -6,4 +6,16 @@ class Test { 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] + } |