Rename `stable_mir` and `rustc_smir`#143848

Merged

bors merged 1 commit intorust-lang:masterfrom

makai410:smir-rename

Jul 14, 2025

Commits on Jul 14, 2025

rename `stable_mir` to `rustc_public`, and `rustc_smir` to `rustc_public_bridge`
makai410
committed