Code

Make Hole a proper Tree in Trees#13213

Code

Merged

nicolasstucki merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:cleanup-definition-of-holedotty-staging/dotty:cleanup-definition-of-holeCopy head branch name to clipboard

Aug 3, 2021

Commits

Commits on Aug 2, 2021

• Make Hole a proper Tree in Trees

  Show description for 5c277c0
  nicolasstucki

  committed
  5c277c0

  Copy full SHA for 5c277c0