Cleanup: Eliminate ConstnessAnd - #90274

Closed

oli-obk wants to merge 12 commits into

rust-lang:masterfrom

oli-obk:const_env

Commits on Oct 25, 2021

Prepare for more ParamEnv flags
oli-obk
committed
b966d1c
Add constness to ParamEnv
oli-obk
committed
8e84aa9
Static items are also const
oli-obk
committed
8c0edca
Re-use `constness_for_typeck` instead of rolling it ourselves
oli-obk
committed
ffd46d0
Fixup add const to param env
oli-obk
committed
fce93cb
Use the constness from the param env instead of having a separate dimension for it
oli-obk
committed
3193cf7
Fixup
oli-obk
committed
104593f
Prefer TraitPredicate over ConstnessAnd<TraitRef>
oli-obk
committed
cde1f6a
Replace `ConstnessAnd<TraitRef>` with `TraitPredicate` which conveys the same information
oli-obk
committed
63ce5c1
Avoid storing the ImplPolarity and Constness next to a TraitRef and use TraitPredicate instead
oli-obk
committed
3be7786
Completely remove ConstnessAnd
oli-obk
committed
afbac75
Always use const param envs for const eval.
oli-obk
committed
764aac2