bors 5ced3dad57 Auto merge of #125853 - tesuji:promote-fail-fast, r=cjgillot
promote_consts: some clean-up after experimenting

This is some clean-up after experimenting in #125916,
Prefer to review commit-by-commit.
2024-06-21 16:00:14 +00:00
..
2024-06-16 21:35:21 -04:00
2024-06-16 21:35:21 -04:00
2024-06-19 13:54:51 +01:00
2024-06-20 22:16:59 -07:00
2024-06-05 22:25:41 +01:00
2024-06-20 22:16:59 -07:00
2024-06-16 21:35:21 -04:00
2024-06-14 16:54:29 -04:00
2024-06-20 22:16:59 -07:00