diff options
Diffstat (limited to 'tests/untried/pos/sammy_twice.scala')
-rw-r--r-- | tests/untried/pos/sammy_twice.scala | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/tests/untried/pos/sammy_twice.scala b/tests/untried/pos/sammy_twice.scala new file mode 100644 index 000000000..088106e9c --- /dev/null +++ b/tests/untried/pos/sammy_twice.scala @@ -0,0 +1,9 @@ +// test repeated synthesizeSAMFunction where the sam type is not fully defined +// the naive implementation would enter the same apply$body in the same scope twice +trait F[T, U] { def apply(x: T): U } + +class C { + def app[T, U](x: T)(f: F[T, U]): U = f(x) + app(1)(x => List(x)) + app(2)(x => List(x)) +} |