Skip to content

Fix needless_lifetimes in stable_mir#131194

Merged
bors merged 1 commit intorust-lang:masterfrom
practicalrs:fix_needless_lifetimes
Oct 5, 2024

Commits

Commits on Oct 3, 2024