public Expression simplify() { if (subExpressions[0].getType().getCanonic().isOfType(Type.tSubType(castType))) /* * This is an unnecessary widening cast, probably that inserted by * jikes for inner classes constructors. */ return subExpressions[0].simplify(); return super.simplify(); }