bors 2a8a0fc423 Auto merge of #96883 - jackh726:early-binder-2, r=oli-obk ...

Add EarlyBinder

Chalk has no concept of `Param` (https://github.com/rust-lang/chalk/blob/e0ade19d139bc784384acc6736cd960c91dd55a1/chalk-ir/src/lib.rs#L579) or `ReEarlyBound` (https://github.com/rust-lang/chalk/blob/e0ade19d139bc784384acc6736cd960c91dd55a1/chalk-ir/src/lib.rs#L1308). Everything  is just "bound" - the equivalent of rustc's late-bound. It's not completely clear yet whether to move everything to the same time of binder in rustc or add `Param` and `ReEarlyBound` in Chalk.

Either way, tracking when we have or haven't already substituted out these in rustc can be helpful.

As a first step, I'm just adding a `EarlyBinder` newtype that is required to call `subst`. I also add a couple "transparent" `bound_*` wrappers around a couple query that are often immediately substituted.

r? `@nikomatsakis`

2022-05-14 23:53:11 +00:00

..

coverage

simplify length count

2022-05-10 20:42:45 +02:00

inline

Use IndexSet for deterministic order

2022-05-12 10:03:41 +00:00

abort_unwinding_calls.rs

move panic-in-drop=abort check for drop_in_place

2022-05-09 16:48:30 +02:00

add_call_guards.rs

Move rustc_mir::transform to rustc_mir_transform.

2021-09-07 00:43:14 +02:00

add_moves_for_packed_drops.rs

Adopt let else in more places

2022-02-19 17:27:43 +01:00

add_retag.rs

re-name stuff

2022-05-01 15:38:22 +03:00

check_const_item_mutation.rs

rustc_error: make ErrorReported impossible to construct

2022-03-16 10:35:24 -05:00

check_packed_ref.rs

Mention implementers of unsatisfied trait

2022-04-04 21:01:42 +00:00

check_unsafety.rs

review

2022-05-09 18:40:18 +02:00

cleanup_post_borrowck.rs

Move rustc_mir::transform to rustc_mir_transform.

2021-09-07 00:43:14 +02:00

const_debuginfo.rs

resolve the conflict in compiler/rustc_session/src/parse.rs

2022-03-16 20:12:30 +08:00

const_goto.rs

enhance ConstGoto mir-opt by moving up StorageDead statements

2022-04-06 15:17:41 +08:00

const_prop_lint.rs

Auto merge of #96883 - jackh726:early-binder-2, r=oli-obk

2022-05-14 23:53:11 +00:00

const_prop.rs

Auto merge of #96883 - jackh726:early-binder-2, r=oli-obk

2022-05-14 23:53:11 +00:00

deaggregator.rs

Clarify which kinds of MIR are allowed during which phases.

2022-03-23 18:34:08 -04:00

deduplicate_blocks.rs

Remove in_band_lifetimes from rustc_mir_transform

2021-12-07 21:04:40 -08:00

deref_separator.rs

re-name stuff

2022-05-01 15:38:22 +03:00

dest_prop.rs

Add new Deinit statement kind

2022-04-11 08:55:03 -04:00

dump_mir.rs

Inline on_mir_pass and add inline to dump_mir

2021-10-14 15:26:59 -05:00

early_otherwise_branch.rs

tut tut tut

2022-04-27 08:51:33 +01:00

elaborate_drops.rs

Clarify which kinds of MIR are allowed during which phases.

2022-03-23 18:34:08 -04:00

function_item_references.rs

Introduce EarlyBinder

2022-05-10 22:47:18 -04:00

generator.rs

Add bound_type_of

2022-05-13 18:27:18 -04:00

inline.rs

Add bound_fn_sig

2022-05-13 18:27:40 -04:00

instcombine.rs

Move is_trivially_pure_clone_copy onto Ty instead

2022-03-10 01:19:02 -08:00

lib.rs

exp-stuff-dirty

2022-04-29 14:42:24 +03:00

lower_intrinsics.rs

Adopt let else in more places

2022-02-19 17:27:43 +01:00

lower_slice_len.rs

Adopt let else in more places

2022-02-19 17:27:43 +01:00

marker.rs

Add pass for simple phase change

2021-12-02 17:31:38 -08:00

match_branches.rs

fix most compiler/ doctests

2022-05-02 17:40:30 -07:00

multiple_return_terminators.rs

Update passes with new interface

2021-12-02 17:31:38 -08:00

normalize_array_len.rs

Rollup merge of #94011 - est31:let_else, r=lcnr

2022-02-17 23:00:59 +01:00

nrvo.rs

Spellchecking compiler comments

2022-03-30 15:14:15 -04:00

pass_manager.rs

Address nits

2022-04-16 18:44:27 -04:00

remove_false_edges.rs

Separate RemoveFalseEdges from SimplifyBranches

2021-11-30 17:14:48 -08:00

remove_noop_landing_pads.rs

Add new Deinit statement kind

2022-04-11 08:55:03 -04:00

remove_storage_markers.rs

Update passes with new interface

2021-12-02 17:31:38 -08:00

remove_uninit_drops.rs

Spellchecking compiler comments

2022-03-30 15:14:15 -04:00

remove_unneeded_drops.rs

Spellchecking compiler comments

2022-03-30 15:14:15 -04:00

remove_zsts.rs

Add new Deinit statement kind

2022-04-11 08:55:03 -04:00

required_consts.rs

7 - Make more use of let_chains

2022-03-01 07:43:12 -03:00

reveal_all.rs

Overhaul TyS and Ty.

2022-02-15 16:03:24 +11:00

separate_const_switch.rs

Add new Deinit statement kind

2022-04-11 08:55:03 -04:00

shim.rs

Add bound_fn_sig

2022-05-13 18:27:40 -04:00

simplify_branches.rs

Auto merge of #91279 - scottmcm:small-refactor, r=nagisa

2021-12-06 13:04:18 +00:00

simplify_comparison_integral.rs

fix most compiler/ doctests

2022-05-02 17:40:30 -07:00

simplify_try.rs

fix most compiler/ doctests

2022-05-02 17:40:30 -07:00

simplify.rs

Add new Deinit statement kind

2022-04-11 08:55:03 -04:00

uninhabited_enum_branching.rs

Clarify Layout interning.

2022-03-07 13:41:47 +11:00

unreachable_prop.rs

Remove deprecated LLVM-style inline assembly

2022-01-12 18:51:31 +01:00