Even in unchecked mode, these will throw exceptions. The difference between unchecked and checked mode has to do with how static type annotations are processed. How unknown methods are handled is purely a facet of the dynamic dispatch semantics.