Do not update source positions once initialized#13201

nicolasstucki merged 1 commit intoscala:masterscala/scala3:masterfrom

romanowski:scaladoc/source-pos-tastyromanowski/dotty:scaladoc/source-pos-tastyCopy head branch name to clipboard