Code

Add trait decls to SMIR#114485

Code

Merged

bors merged 4 commits intorust-lang:masterrust-lang/rust:masterfrom

spastorino:add-trait-declsspastorino/rust:add-trait-declsCopy head branch name to clipboard

Aug 7, 2023

Commits

Commits on Aug 7, 2023

• Convert unsafety using the stable method and reuse mir::Safety

  spastorino

  committed
  4199a3c

  Copy full SHA for 4199a3c

• Convert trait declaration to SMIR

  spastorino

  committed
  496faa8

  Copy full SHA for 496faa8

• Add all_trait_decls to SMIR

  spastorino

  committed
  0e69a8a

  Copy full SHA for 0e69a8a

• Add TraitDef::trait_decl method

  spastorino

  committed
  6e4d7bd

  Copy full SHA for 6e4d7bd