syntax_data: {"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:         // Checking for aliasing in terminators is probably overkill, but until we have actual
context_before:     fn visit_terminator(&mut self, terminator: &Terminator<'tcx>, location: Location) {
context_after:         // semantics, we should be conservative here.