New tests

Added test for previous PR on super accessors.
Updated test for #503 to check both inner classes and inner traits.

Author: odersky

tests/pos/i503.scala

@@ -3,7 +3,11 @@ class HelloWorld {
     object TypeBool;
 
     class Fct {
-      def g(x : Int) = TypeBool // breaks.
+      def g(x : Int) = TypeBool
+    }
+
+    trait Fct2 {
+      def g(x : Int) = TypeBool
     }
   }
 }

tests/pos/superacc.scala

@@ -0,0 +1,17 @@
+// scenario one: supercalls in traits
+abstract class C {
+  def foo: Int = 2
+  def baz: Int = 2
+}
+
+trait T extends C {
+  override def foo = super.foo + 1
+}
+
+
+// scenario 2: supercalls in nested classes
+class D extends C with T {
+  class I {
+    val x= D.super.baz
+  }
+}