reportMatchNotExhaustive false negative when variables used with *rest

[GuiltiTer]

The linter for the following code indicates that the match statement is not exhaustive and inferred return type is str | None:

def f(names: list[str]) -> str:
    match names:
        case []:
            return ""
        case [a]:
            return f"{a}"
        case [a, b]:
            return f"{a}, {b}"
        case [a, b, *rest]:
            return f"{a}, {b}, {len(rest)}"

basedpyright: Cases within match statement do not exhaustively handle all values Unhandled type: "list[str]"
  If exhaustive handling is not intended, add "case _: pass" [reportMatchNotExhaustive]

The names argument matches empty, one-element, two-element, and n + 2 elements, which exhaustes all the possible list constructions.

by adding another arm to the match statement, the linter stops complaining:

case [*xs]: 
    ...