Update check-final.test

Author: BobTheBuidler

test-data/unit/check-final.test

@@ -11,7 +11,7 @@ y: Final[float] = int()
 z: Final[int] = int()
 bad: Final[str] = int()  # E: Incompatible types in assignment (expression has type "int", variable has type "str")
 
-reveal_type(x)  # N: Revealed type is "builtins.int"
+reveal_type(x)  # N: Revealed type is "Literal[0]?"
 reveal_type(y)  # N: Revealed type is "builtins.float"
 reveal_type(z)  # N: Revealed type is "builtins.int"
 [out]
@@ -26,10 +26,10 @@ class C:
     bad: Final[str] = int()  # E: Incompatible types in assignment (expression has type "int", variable has type "str")
 class D(C): pass
 
-reveal_type(D.x)  # N: Revealed type is "builtins.int"
+reveal_type(D.x)  # N: Revealed type is "Literal[0]?"
 reveal_type(D.y)  # N: Revealed type is "builtins.float"
 reveal_type(D.z)  # N: Revealed type is "builtins.int"
-reveal_type(D().x)  # N: Revealed type is "builtins.int"
+reveal_type(D().x)  # N: Revealed type is "Literal[0]?"
 reveal_type(D().y)  # N: Revealed type is "builtins.float"
 reveal_type(D().z)  # N: Revealed type is "builtins.int"
 [out]