docs: Add a comment to pathTo
mentioning that it might return errorTermTree
#15420
Merged
prolativ merged 1 commit intoscala:mainfrom Jun 13, 2022
Merged
docs: Add a comment to `pathTo` mentioning that it might return `errorTermTree`#15420prolativ merged 1 commit intoscala:mainfrom
prolativ merged 1 commit intoscala:mainfrom