Tighten condition to preserve denotation in IntegrateMap#23060

mbovel merged 1 commit intoscala:mainscala/scala3:mainfrom

dotty-staging:mb/23056dotty-staging/dotty:mb/23056Copy head branch name to clipboard