Backport "Error instead of crash when generating trees referring to skolems" to 3.3 LTS#656

tgodzik wants to merge 4 commits intobackport-lts-3.3-24307scala/scala3-lts:backport-lts-3.3-24307from

backport-lts-3.3-24380scala/scala3-lts:backport-lts-3.3-24380Copy head branch name to clipboard