{"ast_node_type":"other","tokens":[{"end":9,"kind":"keyword","start":0,"text":"where"}]}
    where
    ) -> InterpResult<'tcx>
        M: Machine<'tcx, MemoryKind = crate::const_eval::MemoryKind, Provenance = CtfeProvenance>,