Rollup merge of #123301 - Nadrieril:unions, r=compiler-errors

pattern analysis: fix union handling

Little known fact: rust supports union patterns. Exhaustiveness handles them soundly but reports nonsensical missing patterns. This PR fixes the reported patterns and documents what we're doing.

r? `@compiler-errors`

Author: matthiaskrgr