Fix #492. Traits that require an outer pointer are not SAMs.

1 files changed, 9 insertions, 3 deletions

diff --git a/tests/pos/sammy_poly.scala b/tests/pos/sammy_poly.scala
index f43fa292c..ff20b5c9c 100644
--- a/tests/pos/sammy_poly.scala
+++ b/tests/pos/sammy_poly.scala
@@ -1,7 +1,13 @@
 // test synthesizeSAMFunction where the sam type is not fully defined
+
+trait F1[T, U] { def apply(x: T): U }
 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))
+  def app1[T, U](x: T)(f: F1[T, U]): U = f(x)
+  def app2[T, U](x: T)(f: F2[T, U]): U = f(x)
+  app1(1)(x => List(x))
+  app2(1)(x => List(x))
+}
+object T{
+  trait F2[T, U] { def apply(x: T): U }
 }