diff -r a82e89aae050 -r 7efb52f76270 vm/src/test/java/org/apidesign/vm4brwsr/Instance.java --- a/vm/src/test/java/org/apidesign/vm4brwsr/Instance.java Mon Sep 24 11:22:50 2012 +0200 +++ b/vm/src/test/java/org/apidesign/vm4brwsr/Instance.java Tue Sep 25 12:26:29 2012 +0200 @@ -70,6 +70,16 @@ Instance i = createInstance(sub); return isInstanceSubOf(i); } + public static int castsWork(boolean interfc) { + Instance i = createInstance(true); + if (interfc) { + GetByte b = (GetByte)i; + } else { + InstanceSub s = (InstanceSub)i; + } + return 5; + } + private static boolean isInstanceSubOf(Instance instance) { return instance instanceof InstanceSub; }