diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-01-27 12:46:48 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-02-07 17:31:53 +0100 |
| commit | 1f8b5691dabaae336c3c3f568b303eb24e783494 (patch) | |
| tree | 7546b2148b5863e2e0070122ffc6d67eacf9edf4 /tests/pos/sammy_poly.scala | |
| parent | 4320e20ff5f3126940f0ecad1dd53573cf03562b (diff) | |
| download | dotty-1f8b5691dabaae336c3c3f568b303eb24e783494.tar.gz dotty-1f8b5691dabaae336c3c3f568b303eb24e783494.tar.bz2 dotty-1f8b5691dabaae336c3c3f568b303eb24e783494.zip | |
Test reorg
Diffstat (limited to 'tests/pos/sammy_poly.scala')
| -rw-r--r-- | tests/pos/sammy_poly.scala | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/pos/sammy_poly.scala b/tests/pos/sammy_poly.scala new file mode 100644 index 000000000..f43fa292c --- /dev/null +++ b/tests/pos/sammy_poly.scala @@ -0,0 +1,7 @@ +// test synthesizeSAMFunction where the sam type is not fully defined +class T { + trait F[T, U] { def apply(x: T): U } + // NOTE: the f(x) desugaring for now assumes the single abstract method is called 'apply' + def app[T, U](x: T)(f: F[T, U]): U = f(x) + app(1)(x => List(x)) +} |