Skip to content

Add FnPtr ty to SMIR#113910

Merged
bors merged 4 commits intorust-lang:masterfrom
spastorino:smir-types-5
Jul 21, 2023
Merged

Add FnPtr ty to SMIR#113910
bors merged 4 commits intorust-lang:masterfrom
spastorino:smir-types-5

Commits

Commits on Jul 21, 2023