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 clipboard

May 11, 2023

Commits

Commits on May 11, 2023

• Remove `tpt` from `Hole`

  Show description for 2e71268
  nicolasstucki

  committed
  2e71268

  Copy full SHA for 2e71268