[backport] Relax avoidance checks more for match type reduction#15088

Kordyjan merged 1 commit intoscala:release-3.1.3scala/scala3:release-3.1.3from

dotty-staging:bport-relax-avoidancedotty-staging/dotty:bport-relax-avoidanceCopy head branch name to clipboard