Flag for strict default function `this` types for call-site and assignability checking (`--strictThis`)

#6018 was originally going to add a --strictThis flag that made function this types default to void or the enclosing class (instead of any) for purposes of call-site and assignability checking, but that functionality was dropped (details). This is a follow-up suggestion for the dropped functionality, whatever the flag ends up being named.

まず issue #6018 と、元の機能が削除された理由を説明しているリンク先のコメントを読んでください。実装前に、意図された厳格な this のデフォルト、呼び出し箇所と代入可能性の動作、および最終的なフラグ名を明確にしてください。この issue ではファイルやテストが特定されていないため、完了条件はまだ決める必要があります。