Iterate where: explanations to fixed point#25851

mbovel wants to merge 2 commits into

scala:mainscala/scala3:mainfrom

mbovel:mb/where-clause-fixpointmbovel/dotty:mb/where-clause-fixpointCopy head branch name to clipboard