Skip to content

Fix needless_lifetimes in stable_mir#131778

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

Commits

Commits on Oct 16, 2024