Expand span errorTermTree to include skipped span.#14492

Merged

nicolasstucki merged 1 commit intoscala:mainfrom

adampauls:error-term-tree-pos

Feb 21, 2022

Commits on Feb 18, 2022

Better positions on errorTermTree
adampauls
committed