WIP: experiment fix #26681 by making `maybeSkolemizePrefix` idempotent - #26710

Draft

tanishiking wants to merge 3 commits into

dotty-staging:fix-i26681-idempotent-qual-skolem

Commits on Aug 4, 2026

Fix #26681: keep one skolem for a selection on an unstable prefix
soronpo
committed
7910be0
Pin that selections on an unstable prefix get distinct skolems
soronpo
committed
638cf54

Commits on Aug 5, 2026

WIP: make `maybeSkolemizePrefix` idempotent for same tree
tanishiking
committed
b530b91