Predicate CastConsistency :: unknownSemanticConversionString
Holds if the cast has a result for Cast.getSemanticConversionString() that indicates that the
kind of its semantic conversion is not known.
Import path
import cpp
predicate
unknownSemanticConversionString
(
Cast
cast
,
Type
fromType
)