From 1f8b5691dabaae336c3c3f568b303eb24e783494 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Tue, 27 Jan 2015 12:46:48 +0100 Subject: Test reorg --- tests/pos/sammy_poly.scala | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 tests/pos/sammy_poly.scala (limited to 'tests/pos/sammy_poly.scala') 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)) +} -- cgit v1.2.3