Fix problems in checking that a constructor is uninhabited for exhaustive match checking#23403

mbovel merged 2 commits intoscala:mainscala/scala3:mainfrom

Alex1005a:bottom-types-coverage-fixAlex1005a/scala3:bottom-types-coverage-fixCopy head branch name to clipboard