Skip to content

Revert "Remove unnecessary type from UnApply"#13421

Merged
nicolasstucki merged 1 commit intoscala:masterfrom
dotty-staging:fix-#13405
Aug 30, 2021
Merged

Revert "Remove unnecessary type from UnApply"#13421
nicolasstucki merged 1 commit intoscala:masterfrom
dotty-staging:fix-#13405

Commits

Commits on Aug 30, 2021