More conditions under which SAMs are converted to anonymous classes

Also included are

  - Closures implementing classes that inherit from a class other than Object
  - Closures that implement traits which run initialization code.

1 files changed, 12 insertions, 0 deletions

diff --git a/tests/pos/sams.scala b/tests/pos/sams.scala
index 671213fef..b7ef7dd2d 100644
--- a/tests/pos/sams.scala
+++ b/tests/pos/sams.scala
@@ -15,12 +15,24 @@ object test {
 
   val u: U = (x: Int) => 2   // needs to be an anonymous class because of inherited field
 
+  trait V extends Exception { def foo(x: Int): Int }
+
+  val v: V = (x: Int) => 2   // needs to be an anonymous class because the trait extends a non-object class
+
   trait Y extends X {
     def baz = super.bar
   }
 
   val y: Y = (x: Int) => 2   // needs to be an anonymous class because of super accessor
 
+  trait Z {
+    def foo(x: Int): Int; println("hi there!")
+  }
+  trait ZZ extends Z
+
+  val z: Z = (x: Int) => 2   // needs to be an anonymous class because trait has initialization code
+  val zz: ZZ = (x: Int) => 2   // needs to be an anonymous class becaiuse trait has initialization code
+
   abstract class C {
     def foo(x: Int): Int