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

2 files changed, 16 insertions, 3 deletions

diff --git a/tests/neg/sammy_poly.scala b/tests/neg/sammy_poly.scala
new file mode 100644
index 000000000..8d0236496
--- /dev/null
+++ b/tests/neg/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 }
+  // this is an inner trait, that will recieve an abstract $outer pointer. Not a SAM.
+  def app[T, U](x: T)(f: F[T, U]): U = f(x)
+  app(1)(x => List(x))
+}
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 }
 }