Code

Add FnPtr ty to SMIR#113910

Code

Merged

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

spastorino:smir-types-5spastorino/rust:smir-types-5Copy head branch name to clipboard

Jul 21, 2023

Commits

Commits on Jul 21, 2023

• Add tables to Stable::stable

  spastorino

  committed
  cbabd00

  Copy full SHA for cbabd00

• Implement Stable for ty::GenericArgs

  spastorino

  committed
  93bcc2e

  Copy full SHA for 93bcc2e

• Add FnPtr ty to SMIR

  spastorino

  committed
  17b8977

  Copy full SHA for 17b8977

• Implement Stable for ty::Ty

  spastorino

  committed
  634db10

  Copy full SHA for 634db10