{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"promoted:"}]}
        promoted: Option<mir::Promoted>,
        instance: ty::InstanceKind<'tcx>,
    ) -> InterpResult<'tcx, &'tcx mir::Body<'tcx>> {