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

..

constraints

sccs info

2023-02-19 22:12:12 +00:00

diagnostics

Auto merge of #108487 - cjgillot:no-typeck-mir, r=oli-obk

2023-02-27 21:48:10 +00:00

region_infer

Rename ty_error_with_guaranteed to ty_error, ty_error to ty_error_misc

2023-02-22 22:23:45 +00:00

type_check

Wrap more into into closure_typeinfo query.

2023-02-26 10:30:27 +00:00

borrow_set.rs

rustc_borrowck: remove ref patterns

2022-12-06 14:45:58 +00:00

borrowck_errors.rs

Tweak E0597

2023-01-15 19:46:20 +00:00

constraint_generation.rs

Remove type-traversal trait aliases

2023-02-22 17:04:58 +00:00

consumers.rs

Change src/test to tests in source files, fix tidy and tests

2023-01-11 09:32:13 +00:00

dataflow.rs

Create stable metric to measure long computation in Const Eval

2023-01-23 23:56:22 +00:00

def_use.rs

lint auto pass

2022-11-09 20:42:16 +08:00

facts.rs

Use fmt named parameters in rustc_borrowck

2023-01-06 19:34:45 -05:00

invalidation.rs

Create stable metric to measure long computation in Const Eval

2023-01-23 23:56:22 +00:00

lib.rs

Access upvars through a query.

2023-02-26 10:30:27 +00:00

location.rs

A few small cleanups for newtype_index

2022-12-18 21:47:28 +01:00

member_constraints.rs

Remove double spaces after dots in comments

2023-01-17 08:09:33 +00:00

nll.rs

some conditional imports

2023-02-19 22:12:12 +00:00

path_utils.rs

lint auto pass

2022-11-09 20:42:16 +08:00

place_ext.rs

Remove double spaces after dots in comments

2023-01-17 08:09:33 +00:00

places_conflict.rs

Removed various double spaces in compiler source comments.

2023-01-14 17:34:59 +01:00

prefixes.rs

lint auto pass

2022-11-09 20:42:16 +08:00

renumber.rs

Remove type-traversal trait aliases

2023-02-22 17:04:58 +00:00

session_diagnostics.rs

errors: generate typed identifiers in each crate

2023-02-22 09:15:53 +00:00

universal_regions.rs

Avoid more calls to typeck.

2023-02-26 10:30:27 +00:00

used_muts.rs

lint auto pass

2022-11-09 20:42:16 +08:00