Module Cast::CastSanity

INTERNAL: Do not use. Query predicates used to check invariants that should hold for all Cast nodes. To run all sanity queries for the ASTs, including the ones below, run “semmle/code/cpp/ASTSanity.ql”.

Predicates