clarify `Final` reassignment semantics by KotlinIsland · Pull Request #2241 · python/typing
I think this is a superior rule, but I would be likely to think so, since it's the rule ty already implements 😆
I think this PR needs some improvements, but I'm in favor of the change.