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