Add a new trait to retrieve StableMir definition Ty#126366

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

celinval:issue-0080-def-tycelinval/rust-dev:issue-0080-def-tyCopy head branch name to clipboard