3 public interface IInterface
5 int getRet() { return -10; }
8 public interface IInterface2
: IInterface
10 int IInterface
.getRet() { return -1; }
14 public class AbstractClass
: IInterface2
16 int IInterface
.getRet() { return 0; }
20 public class FinalClass
: AbstractClass
26 public static int test_0_dim_18917()
28 var var0
= new FinalClass();
29 var var4
= (IInterface2
)var0
;
30 var var5
= var4
.getRet();
35 public static int Main (string[] args
) {
36 return TestDriver
.RunTests (typeof (Test
), args
);