{"ast_node_type":"other","tokens":[{"end":100,"kind":"keyword","start":0,"text":"///"}]}
/// Everything checked here must be stable under substitution of generic parameters. In other words,
/// This checker covers basic properties of the control-flow graph, (dis)allowed statements and terminators.
/// this is about the *structure* of the MIR, not the *contents*.