Introduce enter_forall to supercede instantiate_binder_with_placeholders
#113857
| Job | Run time |
|---|---|
| 26m 39s | |
| 4m 18s | |
| 0s | |
| 0s | |
| 47m 30s | |
| 0s | |
| 30m 47s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 1h 49m 14s |