[Python][Bug]: Matching against multiple union cases in OR pattern returns none #4649

I have the following issue where I have a discriminate union and a function containing a match expression where matching against two of the three union cases should call the same expressionr. I expect the atLeastMid function to return True both for BestCase and MidCase. But for BestCase it returns none in python transpiled code.

type Case =
    | BestCase
    | MidCase
    | WorstCase

let atLeastMid (c: Case) =
    match c with
    | BestCase | MidCase -> true
    | WorstCase -> false

printf "%b" (atLeastMid BestCase)
printf "%b" (atLeastMid MidCase)
printf "%b" (atLeastMid WorstCase)

transpiles to (case 0 is missing):

def at_least_mid(c: Case) -> bool:
    match c.tag:
        case 1:
            return True

        case 2:
            return False

And therefore returns (none should also be true):

none
true
false

using Fable5.1

Distinction

This seems to be specific to matching against discriminate union cases, as the following works:

let oneOrTwo (x: int) =
    match x with
    | 1 | 2 -> true
    | _ -> false

--> (notice both 1 and 2 covered in one case)

def one_or_two(x: int32) -> bool:
    match x:
        case 1 | 2:
            return True

        case _:
            return False