Member predicate SatisfiesExpr::getTypeAnnotation

Gets the type to cast to, that is, the T in E as T or <T> E.