Code

Remove tpt from Hole#17455

Code

Merged

nicolasstucki merged 1 commit intoscala:mainscala/scala3:mainfrom dotty-staging:remove-tpt-from-holedotty-staging/dotty:remove-tpt-from-holeCopy head branch name to clipboardMay 11, 2023

+52-47

Commits

Commits on May 11, 2023

• Remove tpt from Hole

  Show description for 2e71268
  nicolasstucki

  committed
  2e71268

  Copy full SHA for 2e71268