Skip to content

rustc_public: implement Pattern type#155513

Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
makai410:rpub-pat
Apr 28, 2026
Merged

rustc_public: implement Pattern type#155513
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
makai410:rpub-pat

Commits

Commits on Apr 19, 2026