If we take that at face value, then there should be no issue with Final, except that Final’s specification conflicts with 526 and the actual runtime behavior in some way Clearly Final is over-specified leading to something incorrect. I think 526 also warrants revisiting. ClassVar is likely still necessary for some expressiveness in stubs, but type checkers should be allowed to see assignment at a class scope and treat it as a classvar.
Edit: I’ve split that off into a separate thread here. Could be somewhat relevant to why people have the perception they have on this, but I think it’s a separate consideration than handling Final here.