{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"///"}]}
/// must be checked in `TypeChecker`.
/// Everything that depends on types, or otherwise can be affected by generic parameters,
struct CfgChecker<'a, 'tcx> {