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.

まず issue #7655 と #7577 のコンテキストを読み、次に、exit が bool を返すとアノテーションされたスタブを使って、return 文がないことによるエラーを再現してください。完了条件には、このアノテーションがいつ誤ったエラーを引き起こすのかを説明する、対象を絞った診断または注記と、その動作をカバーするテストを含めてください。