Add new HOLETYPES to TASTy format #17225

Closed

nicolasstucki wants to merge 12 commits intoscala:mainfrom

dotty-staging:add-tasty-hole-types

Commits on Apr 6, 2023

Update Hole syntax in RefinedPrinter and documentation
nicolasstucki
committed