Trevor Gross dd41c06e27
Rollup merge of #142687 - cjgillot:less-hir_crate, r=oli-obk
Reduce uses of `hir_crate`.

I tried rebasing my old incremental-HIR branch. This is a by-product, which is required if we want to get rid of `hir_crate` entirely.

The second commit is a drive-by cleanup. It can be pulled into its own PR.

r? ````@oli-obk````
2025-06-20 02:50:40 -04:00
..
2025-05-30 16:08:44 +00:00
2025-05-23 12:10:53 +00:00
2025-06-18 12:37:08 +02:00
2025-06-13 01:16:36 +02:00
2025-06-04 16:40:00 +10:00