syntax_data: {"ast_node_type":"other","tokens":[{"end":2,"kind":"keyword","start":0,"text":"};"}]}
source_snippet: };
context_before:     self, Body, CallReturnPlaces, Location, SwitchTargetValue, TerminatorEdges,
context_after: use rustc_middle::ty::util::Discr;