
Jan. 17, 2021
2:18 p.m.
Sounds good to me. On Sat, Jan 16, 2021 at 20:55 Eric Traut <eric@traut.com> wrote:
This PEP doesn't dictate how or where a type checker applies type guards. It simply provides a way to specify a user-defined type guard. Type checkers should apply user-defined type guards in all situations where they already apply built-in type guards. For all type checkers I'm aware of, that would apply to assert statements, since an assert is simply shorthand for `if not <conditional check>: raise AssertionError()’.
-- --Guido (mobile)