Do not update source positions once initialized#13201

Merged

nicolasstucki merged 1 commit intoscala:masterfrom

romanowski:scaladoc/source-pos-tasty

Jul 29, 2021

Commits on Jul 29, 2021

Do not update source positions once initizlized
romanowski
committed