public class Super { static void foo(CharSequence o) { ((<caret>) o) } }