squiid/rust
1
0
Fork 0
Code Issues Pull requests Projects Activity
rust/compiler/rustc_typeck
History
bors 18bb8c61a9 Auto merge of #91354 - fee1-dead:const_env, r=spastorino 
Cleanup: Eliminate ConstnessAnd

This is almost a behaviour-free change and purely a refactoring. "almost" because we appear to be using the wrong ParamEnv somewhere already, and this is now exposed by failing a test using the unstable `~const` feature.

We most definitely need to review all `without_const` and at some point should probably get rid of many of them by using `TraitPredicate` instead of `TraitRef`.

This is a continuation of https://github.com/rust-lang/rust/pull/90274.

r? `@oli-obk`

cc `@spastorino` `@ecstatic-morse`
2021-12-02 11:48:58 +00:00
..
src Auto merge of #91354 - fee1-dead:const_env, r=spastorino 2021-12-02 11:48:58 +00:00
Cargo.toml
README.md

README.md

For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.