Skip to content

Properly refine type of inlined unapply pattern#18292

Merged
nicolasstucki merged 1 commit intoscala:mainfrom
dotty-staging:fix-17525
Aug 3, 2023

Commits

Commits on Aug 3, 2023