reportReturnType false positive when attribute type is exhaustively narrowed

[DetachHead]

Code sample in basedpyright playground

from dataclasses import dataclass
from typing import Literal

@dataclass
class Foo:
    value: Literal[1, 2]

def foo(foo: Foo) -> bool: # error
    if foo.value == 1:
        return True
    elif foo.value == 2:
        raise Exception
    
def bar(foo: Literal[1, 2]) -> bool: # no error
    if foo == 1:
        return True
    elif foo == 2:
        raise Exception

Function with declared return type "bool" must return value on all code paths
  "None" is not assignable to "bool"  (reportReturnType)