JLessinger issues

Repositories
Issues
Comments

Results 1 issues of


                                            JLessinger

Changing the Err type E with and_then() passes type checking, but should not

The following type checks (pyright, all checks enabled): ``` T_cov = TypeVar("T_cov", covariant=True) StrResult = Result[T_cov, str] ExceptionResult = Result[T_cov, Exception] def foo() -> StrResult[int]: return Ok(1) def baz(x: int)...