Code

Add smir predicates_of#115084

Code

Merged

bors merged 2 commits intorust-lang:masterrust-lang/rust:masterfrom ericmarkmartin:add-smir-cx-where-clausesericmarkmartin/rust:add-smir-cx-where-clausesCopy head branch name to clipboardAug 25, 2023

+312-23

Commits

Commits on Aug 23, 2023

• stable types for predicates

  

  ericmarkmartin

  authored and

  spastorino

  committed
  735e9c0

• predicates of

  

  ericmarkmartin

  authored and

  spastorino

  committed
  107cb5c