http://gwt-code-reviews.appspot.com/1287801/diff/1/3 File user/test/com/google/gwt/dev/jjs/test/singlejso/TypeHierarchyTest.java (right):
http://gwt-code-reviews.appspot.com/1287801/diff/1/3#newcode205 user/test/com/google/gwt/dev/jjs/test/singlejso/TypeHierarchyTest.java:205: Element element = JsElement.create(); Should you also test this in conjunction with non-JSO implementers, e.g. PureJavaElement implements Element? http://gwt-code-reviews.appspot.com/1287801/show -- http://groups.google.com/group/Google-Web-Toolkit-Contributors
