Predicate CastConsistency :: multipleSemanticConversionStrings
Holds if the cast has more than one result for Cast.getSemanticConversionString()
.
Import path
import cpp
predicate
multipleSemanticConversionStrings
(
Cast
cast
,
Type
fromType
,
string
kind
)