| [case testTupleLowercase] | |
| x = (3,) | |
| x = 3 # E: Incompatible types in assignment (expression has type "int", variable has type "tuple[int]") | |
| [builtins fixtures/tuple.pyi] | |
| [case testListLowercase] | |
| x = [3] | |
| x = 3 # E: Incompatible types in assignment (expression has type "int", variable has type "list[int]") | |
| [case testDictLowercase] | |
| x = {"key": "value"} | |
| x = 3 # E: Incompatible types in assignment (expression has type "int", variable has type "dict[str, str]") | |
| [case testSetLowercase] | |
| x = {3} | |
| x = 3 # E: Incompatible types in assignment (expression has type "int", variable has type "set[int]") | |
| [builtins fixtures/set.pyi] | |
| [case testTypeLowercase] | |
| x: type[type] | |
| y: int | |
| y = x # E: Incompatible types in assignment (expression has type "type[type]", variable has type "int") | |
| [case testLowercaseTypeAnnotationHint] | |
| x = [] # E: Need type annotation for "x" (hint: "x: list[<type>] = ...") | |
| y = {} # E: Need type annotation for "y" (hint: "y: dict[<type>, <type>] = ...") | |
| z = set() # E: Need type annotation for "z" (hint: "z: set[<type>] = ...") | |
| [builtins fixtures/primitives.pyi] | |
| [case testLowercaseRevealTypeType] | |
| def f(t: type[int]) -> None: | |
| reveal_type(t) # N: Revealed type is "type[builtins.int]" | |
| reveal_type(f) # N: Revealed type is "def (t: type[builtins.int])" | |
| [builtins fixtures/primitives.pyi] |