Properly refine type of inlined unapply pattern#18292
Merged
nicolasstucki merged 1 commit intoscala:mainfrom Aug 3, 2023
Merged
Properly refine type of inlined unapply pattern#18292nicolasstucki merged 1 commit intoscala:mainfrom
nicolasstucki merged 1 commit intoscala:mainfrom