Fix #6542: Pickle line sizes in TASTy#10363

Merged

nicolasstucki merged 3 commits intoscala:masterfrom

dotty-staging:add-line-sizes-in-TASTy

Nov 30, 2020

Commits on Nov 24, 2020

Commits on Nov 27, 2020

Use `Nat`s to pickle line sizes in TASTy
nicolasstucki
committed