Cleanup: Eliminate ConstnessAnd#91354

Merged

bors merged 18 commits intorust-lang:masterfrom

fee1-dead-contrib:const_env

Dec 2, 2021

Commits on Nov 29, 2021

Prepare for more ParamEnv flags

oli-obk
authored and
fee1-dead
committed
Add constness to ParamEnv

oli-obk
authored and
fee1-dead
committed
Static items are also const

oli-obk
authored and
fee1-dead
committed
Re-use `constness_for_typeck` instead of rolling it ourselves

oli-obk
authored and
fee1-dead
committed
Fixup add const to param env

oli-obk
authored and
fee1-dead
committed
Use the constness from the param env instead of having a separate dimension for it

oli-obk
authored and
fee1-dead
committed
Fixup

oli-obk
authored and
fee1-dead
committed
Prefer TraitPredicate over ConstnessAnd<TraitRef>

oli-obk
authored and
fee1-dead
committed
Replace `ConstnessAnd<TraitRef>` with `TraitPredicate` which conveys the same information

oli-obk
authored and
fee1-dead
committed
Avoid storing the ImplPolarity and Constness next to a TraitRef and use TraitPredicate instead

oli-obk
authored and
fee1-dead
committed
Completely remove ConstnessAnd

oli-obk
authored and
fee1-dead
committed
Always use const param envs for const eval.

oli-obk
authored and
fee1-dead
committed
Fix tools
fee1-dead
committed
Reformat everything
fee1-dead
committed
`ParamEnv` should be const when `ImplItem` is within a const impl.
fee1-dead
committed

Commits on Dec 1, 2021