Skip to content

Fix #7597: Refine checks whether a deferred term member is implemented#8332

Merged
smarter merged 1 commit intoscala:masterfrom
dotty-staging:fix-#7597
Feb 22, 2020

Commits

Commits on Feb 17, 2020