syntax_data: {"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// with type errors, but normal MIR construction can't handle that in general.
context_before: /// This is required because we may still want to run MIR passes on an item
context_after: fn construct_error(tcx: TyCtxt<'_>, def_id: LocalDefId, guar: ErrorGuaranteed) -> Body<'_> {