Predicate CastConsistency::missingSemanticConversionString
Holds if the cast has no result for Cast.getSemanticConversionString().
Import path
import cpppredicate missingSemanticConversionString(Cast cast, Type fromType)Holds if the cast has no result for Cast.getSemanticConversionString().
import cpppredicate missingSemanticConversionString(Cast cast, Type fromType)