What to do if a stub has an incorrect bool return for __exit__

If the line after a with statement becomes reachable because a stub has __exit__ annotated to return bool, even though the actual runtime return value is always False, this can result in confusing missing return statement errors.

One way to deal with this would be to detect this and add a note saying that the __exit__ return type may be causing a spurious error.

Follow-up to #7655. See #7577 for context.

Lies zunächst den Kontext in den Issues #7655 und #7577, und reproduziere dann den Fehler wegen der fehlenden return-Anweisung mit einem Stub, dessen exit mit dem Rückgabetyp bool annotiert ist. Die Umsetzung sollte eine gezielte Diagnose oder einen Hinweis enthalten, der erklärt, wann diese Annotation den irrtümlichen Fehler verursacht, sowie Tests, die dieses Verhalten abdecken.