[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()’.