[Typing-sig] Re: User-defined type guards

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)