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

Add EarlyBinder

Chalk has no concept of `Param` (e0ade19d13/chalk-ir/src/lib.rs (L579)) or `ReEarlyBound` (e0ade19d13/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

..

build

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

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

thir

Auto merge of #96094 - Elliot-Roberts:fix_doctests, r=compiler-errors

2022-05-07 06:30:29 +00:00

check_unsafety.rs

review

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

lib.rs

Rollup merge of #96628 - joshtriplett:stabilize-then-some, r=m-ou-se

2022-05-05 10:20:35 +09:00

lints.rs

Check the number of arguments first in is_recursive_call

2022-01-29 23:00:54 +01:00