Code

Add Adt to SMIR#113629

Code

Merged

bors merged 2 commits intorust-lang:masterrust-lang/rust:masterfrom spastorino:smir-types-3spastorino/rust:smir-types-3Copy head branch name to clipboardJul 13, 2023

+58-13

Commits

Commits on Jul 12, 2023

• DefIds are not only about CrateItem

  spastorino

  committed
  5cf570f

  Copy full SHA for 5cf570f

Commits on Jul 13, 2023

• Add Adt to SMIR

  spastorino

  committed
  c80a0f3

  Copy full SHA for c80a0f3