Add an option to copy positions from old tree when doing substitutions

Viktor Kuncakrequested to merge
github/fork/jad-hamza/replaceFromSymbols-positions into scala-2.13

Created by: jad-hamza

Merge request reports