{"ast_node_type":"other","tokens":[{"end":12,"kind":"keyword","start":0,"text":"///"}]}
    /// MIR.
    /// create a patch that elaborates all drops in the input
    fn elaborate(mut self) -> MirPatch<'tcx> {