Pyright reports an attribute access error for the method that was added to Python's enum module in version 3.13. The method works correctly at runtime but Pyright's ...