Fix performance regressions in Iris and std++ in Coq 8.10.1 compared to Coq 8.9.0
This issue is to track the status of the performance regression in Coq 8.10.1.
A possible cause: https://github.com/coq/coq/issues/11063
This issue is to track the status of the performance regression in Coq 8.10.1.
A possible cause: https://github.com/coq/coq/issues/11063