bors 4b3b731b55 Auto merge of #103220 - compiler-errors:deny-infers, r=lcnr ...

Deny hashing ty/re/ct inference variables

cc `@cjgillot` and https://github.com/rust-lang/rust/pull/102695#issuecomment-1275706528
r? `@lcnr`

best reviewed one commit at a time, mostly because the second commit that fixes `ClosureOutlivesRequirement` is mostly noise because of losing its `<'tcx>` lifetime parameter.

2022-10-20 05:56:56 +00:00

..

constraints

Make ClosureOutlivesRequirement not rely on an unresolved type

2022-10-19 17:10:59 +00:00

diagnostics

Make ClosureOutlivesRequirement not rely on an unresolved type

2022-10-19 17:10:59 +00:00

region_infer

Auto merge of #103220 - compiler-errors:deny-infers, r=lcnr

2022-10-20 05:56:56 +00:00

type_check

Make ClosureOutlivesRequirement not rely on an unresolved type

2022-10-19 17:10:59 +00: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

Remove TypeckResults from InferCtxt

2022-10-07 07:06:19 -05:00

consumers.rs

Change InferCtxtBuilder from enter to build

2022-10-07 07:10:40 -05:00

dataflow.rs

Generalize the Assume intrinsic statement to a general Intrinsic statement

2022-09-06 14:18:32 +00:00

def_use.rs

Add new MutatatingUseContexts for deinit and SetDiscriminant

2022-04-11 09:26:26 -04:00

facts.rs

Rename debugging_opts to unstable_opts

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

invalidation.rs

Generalize the Assume intrinsic statement to a general Intrinsic statement

2022-09-06 14:18:32 +00:00

lib.rs

Change InferCtxtBuilder from enter to build

2022-10-07 07:10:40 -05:00

location.rs

Avoid Iterator::last

2022-09-11 17:23:00 +02:00

member_constraints.rs

Use real opaque type instead of just saying impl Trait

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

nll.rs

Remove TypeckResults from InferCtxt

2022-10-07 07:06:19 -05:00

path_utils.rs

Remove in_band_lifetimes from borrowck

2021-12-15 08:39:21 +01:00

place_ext.rs

Remove crate visibility usage in compiler

2022-05-20 20:04:54 -04:00

places_conflict.rs

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

2022-09-16 11:36:39 +00:00

prefixes.rs

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

2022-09-16 11:36:39 +00:00

renumber.rs

mir constants: type traversing bye bye

2022-10-17 10:54:01 +02:00

session_diagnostics.rs

Move ReverseMapper logic onto OpaqueHiddenType

2022-10-07 19:43:46 +00:00

universal_regions.rs

more dupe word typos

2022-10-14 12:57:56 +08:00

used_muts.rs

cleanup mir visitor for rustc::pass_by_value

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