Provide guidance on PEP 698's strict enforcement feature of typing.override

PEP 698 (typing.override) suggests that type-checkers provide a strict enforcement option that would mark method overrides. However, no guidance is provided about the methods __init__ and __new__. These methods are always implicit overrides (from object method). These method do not obey LSP (so their signature doesn't depend on any superclass), which means that override decoration only verifies that you haven't misspelled the method. Should they be exempt from this strict check?

(I'm not convinced one way or the other, but it would be nice to have some guidance on this.)

CC'ing @erictraut because we had a brief discussion about this.

首先审阅 PEP 698 以及 issue 中关于严格执行 typing.override 的讨论。确定是否应豁免 init 和 new，并在政策确定后，为类型检查器实现和用户记录明确的指导方针。