syntax_data: {"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"tcx.ensure_done().thir_abstract_const(def);"}]}
source_snippet:     tcx.ensure_done().thir_abstract_const(def);
context_before: pub fn build_mir<'tcx>(tcx: TyCtxt<'tcx>, def: LocalDefId) -> Body<'tcx> {
context_after:     if let Err(e) = tcx.ensure_ok().check_match(def) {