typing/conformance/results/mypy/generics_syntax_scoping.toml at d59f13235bb7297b02da130b1e4cd2e0d7a7f9df · python/typing · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
conformant = "Partial"
notes = """
Does not following runtime scoping rules for type parameters in all cases.
"""
output = """
generics_syntax_scoping.py:14: error: Name "S" is not defined  [name-defined]
generics_syntax_scoping.py:18: error: Variable "generics_syntax_scoping.T" is not valid as a type  [valid-type]
generics_syntax_scoping.py:18: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
generics_syntax_scoping.py:35: error: Cannot determine type of "T"  [has-type]
generics_syntax_scoping.py:35: error: Name "T" is used before definition  [used-before-def]
generics_syntax_scoping.py:44: error: Variable "generics_syntax_scoping.T" is not valid as a type  [valid-type]
generics_syntax_scoping.py:44: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
generics_syntax_scoping.py:62: error: Expression is of type "Any", not "str"  [assert-type]
generics_syntax_scoping.py:62: note: "assert_type" expects everything to be "Any" in unchecked functions
generics_syntax_scoping.py:67: error: Expression is of type "Any", not "int"  [assert-type]
generics_syntax_scoping.py:67: note: "assert_type" expects everything to be "Any" in unchecked functions
generics_syntax_scoping.py:92: error: "T" already defined as a type parameter  [misc]
generics_syntax_scoping.py:95: error: "T" already defined as a type parameter  [misc]
generics_syntax_scoping.py:98: error: "T" already defined as a type parameter  [misc]
generics_syntax_scoping.py:98: error: Variable "generics_syntax_scoping.ClassE.T" is not valid as a type  [valid-type]
generics_syntax_scoping.py:98: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
generics_syntax_scoping.py:117: error: Expression is of type "Any", not "TypeVar"  [assert-type]
generics_syntax_scoping.py:117: note: "assert_type" expects everything to be "Any" in unchecked functions
generics_syntax_scoping.py:122: error: Expression is of type "Any", not "complex"  [assert-type]
generics_syntax_scoping.py:122: note: "assert_type" expects everything to be "Any" in unchecked functions
generics_syntax_scoping.py:125: error: Expression is of type "Any", not "complex"  [assert-type]
generics_syntax_scoping.py:125: note: "assert_type" expects everything to be "Any" in unchecked functions
"""
conformance_automated = "Fail"
errors_diff = """
Line 62: Unexpected errors ['generics_syntax_scoping.py:62: error: Expression is of type "Any", not "str"  [assert-type]']
Line 67: Unexpected errors ['generics_syntax_scoping.py:67: error: Expression is of type "Any", not "int"  [assert-type]']
Line 117: Unexpected errors ['generics_syntax_scoping.py:117: error: Expression is of type "Any", not "TypeVar"  [assert-type]']
Line 122: Unexpected errors ['generics_syntax_scoping.py:122: error: Expression is of type "Any", not "complex"  [assert-type]']
Line 125: Unexpected errors ['generics_syntax_scoping.py:125: error: Expression is of type "Any", not "complex"  [assert-type]']
"""