Matthias Krüger 9cf3bacfb2

Rollup merge of #100761 - lcnr:mir-typeck-cleanup, r=compiler-errors ...

some general mir typeck cleanup

this pr contains the parts of #95763 which already work correctly.

the remaining commits of that PR have some issues which are more complex to fix.

r? types

2022-08-21 16:54:04 +02:00

..

constraints

…

diagnostics

Rollup merge of #100186 - compiler-errors:or-as_mut, r=fee1-dead

2022-08-20 07:08:57 +02:00

region_infer

Use real opaque type instead of just saying impl Trait

2022-07-26 06:19:58 +00:00

type_check

move type_check_internal into type_check

2022-08-19 16:41:48 +02:00

borrow_set.rs

cleanup mir visitor for rustc::pass_by_value

2022-07-01 16:21:21 +02:00

borrowck_errors.rs

On partial uninit error point at where we need init

2022-07-07 12:25:55 -07:00

constraint_generation.rs

Update TypeVisitor paths

2022-07-06 06:41:53 +01:00

consumers.rs

take opaq types

2022-07-20 12:43:10 +03:00

dataflow.rs

…

def_use.rs

…

facts.rs

Rename debugging_opts to unstable_opts

2022-07-13 17:47:06 -05:00

invalidation.rs

add new rval, pull deref early

2022-07-12 14:26:41 +03:00

lib.rs

Adjust cfgs

2022-08-12 16:28:15 -04:00

location.rs

…

member_constraints.rs

Use real opaque type instead of just saying impl Trait

2022-07-26 06:19:58 +00:00

nll.rs

Use LocalDefId in OpaqueTypeKey

2022-07-19 02:08:49 +00:00

path_utils.rs

…

place_ext.rs

…

places_conflict.rs

Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r=estebank"

2022-07-20 07:55:58 +00:00

prefixes.rs

Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r=estebank"

2022-07-20 07:55:58 +00:00

renumber.rs

…

session_diagnostics.rs

Replace #[lint/warning/error] with #[diag]

2022-08-21 09:17:43 +02:00

universal_regions.rs

Move is_free and is_free_or_static to Region, change resolve_var to resolve_region, and remove RootEmptyRegion

2022-07-07 20:48:51 -04:00

used_muts.rs

cleanup mir visitor for rustc::pass_by_value

2022-07-01 16:21:21 +02:00