okay tests

Author: hauntsaninja

test-data/unit/check-custom-plugin.test

@@ -996,7 +996,7 @@ class M(type):
     attr = 'test'
 
 class B:
-    attr = None
+    attr = b'bytes'
 
 class Cls(B, metaclass=M):
     pass

test-data/unit/check-errorcodes.test

@@ -537,7 +537,8 @@ d: D = {'x': 1, 'y': 2}  # type: ignore[typeddict-item]
 y = x  # E: Cannot determine type of "x"  [has-type] \
        # E: Name "x" is used before definition  [used-before-def]
 reveal_type(y)  # N: Revealed type is "Any"
-x = None
+x = None  # E: Need type annotation for "x" (hint: "x: <type> | None = ...")  [var-annotated]
+
 
 [case testErrorCodeRedundantCast]
 # flags: --warn-redundant-casts

test-data/unit/check-expressions.test

@@ -1555,7 +1555,8 @@ from typing import List, Union
 x = []
 y = ""
 x.append(y) if bool() else x.append(y)
-z = x.append(y) if bool() else x.append(y) # E: "append" of "list" does not return a value (it only ever returns None)
+z = x.append(y) if bool() else x.append(y) # E: Need type annotation for "z" (hint: "z: <type> | None = ...") \
+                                           # E: "append" of "list" does not return a value (it only ever returns None)
 [builtins fixtures/list.pyi]
 
 [case testConditionalExpressionWithUnreachableBranches]

test-data/unit/check-functions.test

@@ -2622,7 +2622,7 @@ reveal_type(bar(None))  # N: Revealed type is "None"
 [out]
 
 [case testNoComplainInferredNone]
-# flags: --no-strict-optional
+# flags: --no-strict-optional --no-local-partial-types
 from typing import TypeVar, Optional
 T = TypeVar('T')
 def X(val: T) -> T: ...
@@ -2635,7 +2635,7 @@ xx: Optional[int] = X(x_in)
 from typing import TypeVar, Optional
 T = TypeVar('T')
 def X(val: T) -> T: ...
-x_in = None
+x_in = X(None)
 def Y(x: Optional[str] = X(x_in)): ...
 
 xx: Optional[int] = X(x_in)

test-data/unit/check-literal.test

@@ -997,7 +997,7 @@ bool2 = True
 bool3: bool = True
 
 none1: Literal[None] = None
-none2 = None
+none2 = None  # E: Need type annotation for "none2" (hint: "none2: <type> | None = ...")
 none3: None = None
 
 reveal_type(int1)   # N: Revealed type is "Literal[1]"
@@ -1026,7 +1026,7 @@ combined: Literal[1, "foo", True, None]
 a = 1
 b = "foo"
 c = True
-d = None
+d = None  # E: Need type annotation for "d" (hint: "d: <type> | None = ...")
 
 w = a  # E: Incompatible types in assignment (expression has type "int", variable has type "Literal[1]")
 x = b  # E: Incompatible types in assignment (expression has type "str", variable has type "Literal['foo']")

test-data/unit/check-redefine2.test

@@ -1064,7 +1064,7 @@ if int():
     x = ""
 
 [file b.py]
-# mypy: allow-redefinition-new
+# mypy: local-partial-types=false, allow-redefinition-new
 x = 0
 if int():
     x = ""

test-data/unit/check-tuples.test

@@ -954,7 +954,7 @@ for x in t: pass  # E: Need type annotation for "x"
 
 [case testForLoopOverNoneValuedTuple]
 import typing
-for x in None, None: pass
+for x in None, None: pass  # E: Need type annotation for "x" (hint: "x: <type> | None = ...")
 [builtins fixtures/for.pyi]
 
 [case testForLoopOverTupleAndSubtyping]