Lines Matching defs:CastSucceeds