CastInside.java

class Test {
  void foo(Object o) {
    <selection>((A)o).doSmth();</selection>
  }
}

class A {void doSmth(){}}