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-03-30 01:32:21 +03:00
2025-06-06 14:20:48 +00:00
2025-05-12 15:33:37 +02:00
2025-06-16 11:51:17 +02:00
2025-06-06 14:20:48 +00:00