rust/compiler/rustc_borrowck
bors 6290ae92b2 Auto merge of #108487 - cjgillot:no-typeck-mir, r=oli-obk
Avoid invoking typeck from borrowck

This PR attempts to reduce direct dependencies between typeck and MIR-related queries. The goal is to have all the information transit either through THIR or through dedicated queries that avoid depending on the whole `TypeckResults`.

In a first commit, we store the type information that MIR building requires into THIR. This avoids edges between mir_built and typeck.

In the second and third commit, we wrap informations around closures (upvars, kind origin and user-provided signature) to avoid borrowck depending on typeck information.

There should be a single remaining borrowck -> typeck edge in the good path, due to inline consts.
2023-02-27 21:48:10 +00:00
..
locales errors: generate typed identifiers in each crate 2023-02-22 09:15:53 +00:00
src Auto merge of #108487 - cjgillot:no-typeck-mir, r=oli-obk 2023-02-27 21:48:10 +00:00
Cargo.toml Do not use hir_ty_to_ty 2022-12-23 16:45:16 -08:00