{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"instance:"}]}
        instance: ty::Instance<'tcx>,
        &self,
    ) -> InterpResult<'tcx, MPlaceTy<'tcx, M::Provenance>> {