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)