Skip to content

Add MonoItems and Instance to stable_mir#116719

Merged
bors merged 1 commit intorust-lang:masterfrom celinval:smir-monoOct 17, 2023

Commits

Commits on Oct 16, 2023