Code

Cleanup: Eliminate ConstnessAnd#90274

Code

Closed

oli-obk wants to merge 12 commits intorust-lang:masterrust-lang/rust:masterfrom

oli-obk:const_envoli-obk/rust:const_envCopy head branch name to clipboard

Commits

Commits on Oct 25, 2021

• Prepare for more ParamEnv flags

  oli-obk

  committed
  b966d1c

  Copy full SHA for b966d1c

• Add constness to ParamEnv

  Show description for 8e84aa9
  oli-obk

  committed
  8e84aa9

  Copy full SHA for 8e84aa9

• Static items are also const

  oli-obk

  committed
  8c0edca

  Copy full SHA for 8c0edca

• Re-use `constness_for_typeck` instead of rolling it ourselves

  oli-obk

  committed
  ffd46d0

  Copy full SHA for ffd46d0

• Fixup add const to param env

  oli-obk

  committed
  fce93cb

  Copy full SHA for fce93cb

• Use the constness from the param env instead of having a separate dimension for it

  Show description for 3193cf7
  oli-obk

  committed
  3193cf7

  Copy full SHA for 3193cf7

• Fixup

  oli-obk

  committed
  104593f

  Copy full SHA for 104593f

• Prefer TraitPredicate over ConstnessAnd<TraitRef>

  oli-obk

  committed
  cde1f6a

  Copy full SHA for cde1f6a

• Replace `ConstnessAnd<TraitRef>` with `TraitPredicate` which conveys the same information

  oli-obk

  committed
  63ce5c1

  Copy full SHA for 63ce5c1

• Avoid storing the ImplPolarity and Constness next to a TraitRef and use TraitPredicate instead

  oli-obk

  committed
  3be7786

  Copy full SHA for 3be7786

• Completely remove ConstnessAnd

  oli-obk

  committed
  afbac75

  Copy full SHA for afbac75

• Always use const param envs for const eval.

  Show description for 764aac2
  oli-obk

  committed
  764aac2

  Copy full SHA for 764aac2