Skip to content

Commit 62110be

Browse files
KotlinIslandKotlinIsland
committed
conformance: update results
1 parent b8548b8 commit 62110be

File tree

129 files changed

+766
-1986
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

129 files changed

+766
-1986
lines changed

‎conformance/results/mypy/aliases_typealiastype.toml

+1-3
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,6 @@ Incorrectly rejects some recursive type aliases using TypeAliasType.
44
Incorrectly rejects the use of a class-scoped TypeVar in a TypeAliasType definition.
55
"""
66
output = """
7-
aliases_typealiastype.py:19: error: Cannot resolve name "GoodAlias4" (possible cyclic definition) [misc]
87
aliases_typealiastype.py:20: error: Cannot resolve name "GoodAlias5" (possible cyclic definition) [misc]
98
aliases_typealiastype.py:22: error: Cannot resolve name "GoodAlias5" (possible cyclic definition) [misc]
109
aliases_typealiastype.py:27: error: Type variable "T" is not included in type_params [valid-type]
@@ -17,7 +16,6 @@ aliases_typealiastype.py:46: error: Cannot resolve name "BadAlias4" (possible cy
1716
aliases_typealiastype.py:47: error: Invalid recursive alias: a union item of itself [misc]
1817
aliases_typealiastype.py:48: error: Cannot resolve name "BadAlias6" (possible cyclic definition) [misc]
1918
aliases_typealiastype.py:48: error: Cannot resolve name "BadAlias7" (possible cyclic definition) [misc]
20-
aliases_typealiastype.py:48: error: Name "BadAlias7" is used before definition [used-before-def]
2119
aliases_typealiastype.py:49: error: Cannot resolve name "BadAlias7" (possible cyclic definition) [misc]
2220
aliases_typealiastype.py:52: error: Invalid type alias: expression is not a valid type [valid-type]
2321
aliases_typealiastype.py:53: error: Bracketed expression "[...]" is not valid as a type [valid-type]
@@ -35,10 +33,10 @@ aliases_typealiastype.py:62: error: Invalid type: try using Literal[1] instead?
3533
aliases_typealiastype.py:63: error: Invalid type alias: expression is not a valid type [valid-type]
3634
aliases_typealiastype.py:63: error: Function "list" could always be true in boolean context [truthy-function]
3735
aliases_typealiastype.py:64: error: Invalid type alias: expression is not a valid type [valid-type]
36+
aliases_typealiastype.py:66: error: Cannot resolve name "BadAlias21" (possible cyclic definition) [misc]
3837
"""
3938
conformance_automated = "Fail"
4039
errors_diff = """
41-
Line 19: Unexpected errors ['aliases_typealiastype.py:19: error: Cannot resolve name "GoodAlias4" (possible cyclic definition) [misc]']
4240
Line 20: Unexpected errors ['aliases_typealiastype.py:20: error: Cannot resolve name "GoodAlias5" (possible cyclic definition) [misc]']
4341
Line 22: Unexpected errors ['aliases_typealiastype.py:22: error: Cannot resolve name "GoodAlias5" (possible cyclic definition) [misc]']
4442
Line 27: Unexpected errors ['aliases_typealiastype.py:27: error: Type variable "T" is not included in type_params [valid-type]']

‎conformance/results/mypy/version.toml

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
11
version = "mypy 1.15.0"
2-
test_duration = 1.8
2+
test_duration = 2.0

‎conformance/results/pyre/aliases_explicit.toml

+13-29
Original file line numberDiff line numberDiff line change
@@ -9,28 +9,6 @@ Incorrectly rejects import alias of `TypeAlias` when used to define type alias.
99
Does not report invalid specialization of already-specialized generic type alias.
1010
"""
1111
output = """
12-
aliases_explicit.py:23:0 Incompatible variable type [9]: GoodTypeAlias9 is declared to have type `TA` but is used as type `Type[typing.Callable[..., Variable[$synthetic_attribute_resolution_variable]]]`.
13-
aliases_explicit.py:23:30 Incompatible parameter type [6]: In call `typing.GenericMeta.__getitem__`, for 1st positional argument, expected `Tuple[typing.Any, Type[Variable[$synthetic_attribute_resolution_variable]]]` but got `Tuple[object, TypeVar]`.
14-
aliases_explicit.py:26:0 Incompatible variable type [9]: GoodTypeAlias12 is declared to have type `TA` but is used as type `Type[typing.Callable[..., Variable[$synthetic_attribute_resolution_variable]]]`.
15-
aliases_explicit.py:26:31 Incompatible parameter type [6]: In call `typing.GenericMeta.__getitem__`, for 1st positional argument, expected `Tuple[typing.Any, Type[Variable[$synthetic_attribute_resolution_variable]]]` but got `Tuple[ParamSpec, None]`.
16-
aliases_explicit.py:41:8 Undefined or invalid type [11]: Annotation `GoodTypeAlias9` is not defined as a type.
17-
aliases_explicit.py:44:9 Undefined or invalid type [11]: Annotation `GoodTypeAlias12` is not defined as a type.
18-
aliases_explicit.py:57:4 Assert type [70]: Expected `typing.Callable[[int, str, str], None]` but got `unknown`.
19-
aliases_explicit.py:60:4 Assert type [70]: Expected `typing.Callable[..., None]` but got `unknown`.
20-
aliases_explicit.py:80:0 Incompatible variable type [9]: BadTypeAlias2 is declared to have type `TA` but is used as type `List[Type[Union[int, str]]]`.
21-
aliases_explicit.py:81:0 Incompatible variable type [9]: BadTypeAlias3 is declared to have type `TA` but is used as type `Tuple[Tuple[Type[int], Type[str]]]`.
22-
aliases_explicit.py:82:0 Incompatible variable type [9]: BadTypeAlias4 is declared to have type `TA` but is used as type `List[Type[int]]`.
23-
aliases_explicit.py:83:0 Incompatible variable type [9]: BadTypeAlias5 is declared to have type `TA` but is used as type `Dict[str, str]`.
24-
aliases_explicit.py:84:0 Incompatible variable type [9]: BadTypeAlias6 is declared to have type `TA` but is used as type `Type[int]`.
25-
aliases_explicit.py:85:0 Incompatible variable type [9]: BadTypeAlias7 is declared to have type `TA` but is used as type `Type[int]`.
26-
aliases_explicit.py:86:0 Incompatible variable type [9]: BadTypeAlias8 is declared to have type `TA` but is used as type `Type[Union[int, str]]`.
27-
aliases_explicit.py:87:0 Incompatible variable type [9]: BadTypeAlias9 is declared to have type `TA` but is used as type `int`.
28-
aliases_explicit.py:88:0 Incompatible variable type [9]: BadTypeAlias10 is declared to have type `TA` but is used as type `bool`.
29-
aliases_explicit.py:89:0 Incompatible variable type [9]: BadTypeAlias11 is declared to have type `TA` but is used as type `int`.
30-
aliases_explicit.py:90:0 Incompatible variable type [9]: BadTypeAlias12 is declared to have type `TA` but is used as type `Type[Union[list, set]]`.
31-
aliases_explicit.py:91:0 Incompatible variable type [9]: BadTypeAlias13 is declared to have type `TA` but is used as type `str`.
32-
aliases_explicit.py:97:16 Call error [29]: `TA` is not a function.
33-
aliases_explicit.py:101:5 Call error [29]: `TA` is not a function.
3412
"""
3513
conformance_automated = "Fail"
3614
errors_diff = """
@@ -40,13 +18,19 @@ Line 69: Expected 1 errors
4018
Line 70: Expected 1 errors
4119
Line 71: Expected 1 errors
4220
Line 79: Expected 1 errors
21+
Line 80: Expected 1 errors
22+
Line 81: Expected 1 errors
23+
Line 82: Expected 1 errors
24+
Line 83: Expected 1 errors
25+
Line 84: Expected 1 errors
26+
Line 85: Expected 1 errors
27+
Line 86: Expected 1 errors
28+
Line 87: Expected 1 errors
29+
Line 88: Expected 1 errors
30+
Line 89: Expected 1 errors
31+
Line 90: Expected 1 errors
32+
Line 91: Expected 1 errors
4333
Line 100: Expected 1 errors
34+
Line 101: Expected 1 errors
4435
Line 102: Expected 1 errors
45-
Line 23: Unexpected errors ['aliases_explicit.py:23:0 Incompatible variable type [9]: GoodTypeAlias9 is declared to have type `TA` but is used as type `Type[typing.Callable[..., Variable[$synthetic_attribute_resolution_variable]]]`.', 'aliases_explicit.py:23:30 Incompatible parameter type [6]: In call `typing.GenericMeta.__getitem__`, for 1st positional argument, expected `Tuple[typing.Any, Type[Variable[$synthetic_attribute_resolution_variable]]]` but got `Tuple[object, TypeVar]`.']
46-
Line 26: Unexpected errors ['aliases_explicit.py:26:0 Incompatible variable type [9]: GoodTypeAlias12 is declared to have type `TA` but is used as type `Type[typing.Callable[..., Variable[$synthetic_attribute_resolution_variable]]]`.', 'aliases_explicit.py:26:31 Incompatible parameter type [6]: In call `typing.GenericMeta.__getitem__`, for 1st positional argument, expected `Tuple[typing.Any, Type[Variable[$synthetic_attribute_resolution_variable]]]` but got `Tuple[ParamSpec, None]`.']
47-
Line 41: Unexpected errors ['aliases_explicit.py:41:8 Undefined or invalid type [11]: Annotation `GoodTypeAlias9` is not defined as a type.']
48-
Line 44: Unexpected errors ['aliases_explicit.py:44:9 Undefined or invalid type [11]: Annotation `GoodTypeAlias12` is not defined as a type.']
49-
Line 57: Unexpected errors ['aliases_explicit.py:57:4 Assert type [70]: Expected `typing.Callable[[int, str, str], None]` but got `unknown`.']
50-
Line 60: Unexpected errors ['aliases_explicit.py:60:4 Assert type [70]: Expected `typing.Callable[..., None]` but got `unknown`.']
51-
Line 97: Unexpected errors ['aliases_explicit.py:97:16 Call error [29]: `TA` is not a function.']
5236
"""

‎conformance/results/pyre/aliases_implicit.toml

+14-28
Original file line numberDiff line numberDiff line change
@@ -8,27 +8,6 @@ Does not report error for attempt to instantiate union type alias.
88
Does not report invalid specialization of already-specialized generic type alias.
99
"""
1010
output = """
11-
aliases_implicit.py:38:26 Incompatible parameter type [6]: In call `typing.GenericMeta.__getitem__`, for 1st positional argument, expected `Tuple[typing.Any, Type[Variable[$synthetic_attribute_resolution_variable]]]` but got `Tuple[object, TypeVar]`.
12-
aliases_implicit.py:42:27 Incompatible parameter type [6]: In call `typing.GenericMeta.__getitem__`, for 1st positional argument, expected `Tuple[typing.Any, Type[Variable[$synthetic_attribute_resolution_variable]]]` but got `Tuple[ParamSpec, None]`.
13-
aliases_implicit.py:54:8 Undefined or invalid type [11]: Annotation `GoodTypeAlias9` is not defined as a type.
14-
aliases_implicit.py:58:9 Undefined or invalid type [11]: Annotation `GoodTypeAlias13` is not defined as a type.
15-
aliases_implicit.py:68:4 Assert type [70]: Expected `typing.Callable[[int, str, str], None]` but got `unknown`.
16-
aliases_implicit.py:72:4 Assert type [70]: Expected `typing.Callable[..., None]` but got `unknown`.
17-
aliases_implicit.py:106:8 Undefined or invalid type [11]: Annotation `BadTypeAlias1` is not defined as a type.
18-
aliases_implicit.py:107:8 Undefined or invalid type [11]: Annotation `BadTypeAlias2` is not defined as a type.
19-
aliases_implicit.py:108:8 Undefined or invalid type [11]: Annotation `BadTypeAlias3` is not defined as a type.
20-
aliases_implicit.py:109:8 Undefined or invalid type [11]: Annotation `BadTypeAlias4` is not defined as a type.
21-
aliases_implicit.py:110:8 Undefined or invalid type [11]: Annotation `BadTypeAlias5` is not defined as a type.
22-
aliases_implicit.py:111:8 Undefined or invalid type [11]: Annotation `BadTypeAlias6` is not defined as a type.
23-
aliases_implicit.py:112:8 Undefined or invalid type [11]: Annotation `BadTypeAlias7` is not defined as a type.
24-
aliases_implicit.py:113:8 Undefined or invalid type [11]: Annotation `BadTypeAlias8` is not defined as a type.
25-
aliases_implicit.py:114:8 Undefined or invalid type [11]: Annotation `BadTypeAlias9` is not defined as a type.
26-
aliases_implicit.py:115:9 Undefined or invalid type [11]: Annotation `BadTypeAlias10` is not defined as a type.
27-
aliases_implicit.py:116:9 Undefined or invalid type [11]: Annotation `BadTypeAlias11` is not defined as a type.
28-
aliases_implicit.py:117:9 Undefined or invalid type [11]: Annotation `BadTypeAlias12` is not defined as a type.
29-
aliases_implicit.py:118:9 Undefined or invalid type [11]: Annotation `BadTypeAlias13` is not defined as a type.
30-
aliases_implicit.py:119:9 Undefined or invalid type [11]: Annotation `BadTypeAlias14` is not defined as a type.
31-
aliases_implicit.py:131:0 Assert type [70]: Expected `List[int]` but got `typing.Any`.
3211
"""
3312
conformance_automated = "Fail"
3413
errors_diff = """
@@ -38,13 +17,20 @@ Line 78: Expected 1 errors
3817
Line 79: Expected 1 errors
3918
Line 80: Expected 1 errors
4019
Line 81: Expected 1 errors
20+
Line 106: Expected 1 errors
21+
Line 107: Expected 1 errors
22+
Line 108: Expected 1 errors
23+
Line 109: Expected 1 errors
24+
Line 110: Expected 1 errors
25+
Line 111: Expected 1 errors
26+
Line 112: Expected 1 errors
27+
Line 113: Expected 1 errors
28+
Line 114: Expected 1 errors
29+
Line 115: Expected 1 errors
30+
Line 116: Expected 1 errors
31+
Line 117: Expected 1 errors
32+
Line 118: Expected 1 errors
33+
Line 119: Expected 1 errors
4134
Line 133: Expected 1 errors
4235
Line 135: Expected 1 errors
43-
Line 38: Unexpected errors ['aliases_implicit.py:38:26 Incompatible parameter type [6]: In call `typing.GenericMeta.__getitem__`, for 1st positional argument, expected `Tuple[typing.Any, Type[Variable[$synthetic_attribute_resolution_variable]]]` but got `Tuple[object, TypeVar]`.']
44-
Line 42: Unexpected errors ['aliases_implicit.py:42:27 Incompatible parameter type [6]: In call `typing.GenericMeta.__getitem__`, for 1st positional argument, expected `Tuple[typing.Any, Type[Variable[$synthetic_attribute_resolution_variable]]]` but got `Tuple[ParamSpec, None]`.']
45-
Line 54: Unexpected errors ['aliases_implicit.py:54:8 Undefined or invalid type [11]: Annotation `GoodTypeAlias9` is not defined as a type.']
46-
Line 58: Unexpected errors ['aliases_implicit.py:58:9 Undefined or invalid type [11]: Annotation `GoodTypeAlias13` is not defined as a type.']
47-
Line 68: Unexpected errors ['aliases_implicit.py:68:4 Assert type [70]: Expected `typing.Callable[[int, str, str], None]` but got `unknown`.']
48-
Line 72: Unexpected errors ['aliases_implicit.py:72:4 Assert type [70]: Expected `typing.Callable[..., None]` but got `unknown`.']
49-
Line 131: Unexpected errors ['aliases_implicit.py:131:0 Assert type [70]: Expected `List[int]` but got `typing.Any`.']
5036
"""

‎conformance/results/pyre/aliases_newtype.toml

+6-6
Original file line numberDiff line numberDiff line change
@@ -9,20 +9,20 @@ Does not reject use of NewType with TypedDict class.
99
Does not reject use of NewType with Any.
1010
"""
1111
output = """
12-
aliases_newtype.py:11:7 Incompatible parameter type [6]: In call `UserId.__init__`, for 1st positional argument, expected `int` but got `str`.
13-
aliases_newtype.py:12:0 Incompatible variable type [9]: u1 is declared to have type `UserId` but is used as type `int`.
14-
aliases_newtype.py:38:5 Invalid type parameters [24]: Non-generic type `GoodNewType1` cannot take parameters.
15-
aliases_newtype.py:44:37 Invalid inheritance [39]: `typing.Union[int, str]` is not a valid parent class.
16-
aliases_newtype.py:51:37 Invalid inheritance [39]: `typing_extensions.Literal[7]` is not a valid parent class.
17-
aliases_newtype.py:60:14 Too many arguments [19]: Call `NewType.__init__` expects 2 positional arguments, 3 were provided.
1812
"""
1913
conformance_automated = "Fail"
2014
errors_diff = """
15+
Line 11: Expected 1 errors
16+
Line 12: Expected 1 errors
2117
Line 20: Expected 1 errors
2218
Line 23: Expected 1 errors
2319
Line 32: Expected 1 errors
20+
Line 38: Expected 1 errors
21+
Line 44: Expected 1 errors
2422
Line 47: Expected 1 errors
2523
Line 49: Expected 1 errors
24+
Line 51: Expected 1 errors
2625
Line 58: Expected 1 errors
26+
Line 60: Expected 1 errors
2727
Line 62: Expected 1 errors
2828
"""

‎conformance/results/pyre/aliases_recursive.toml

+4-21
Original file line numberDiff line numberDiff line change
@@ -4,35 +4,18 @@ Does not properly handle some recursive type aliases.
44
Does not properly handle specialization of generic recursive type aliases.
55
"""
66
output = """
7-
aliases_recursive.py:19:0 Incompatible variable type [9]: j4 is declared to have type `aliases_recursive.Json (resolves to Union[None, Dict[str, Json], List[Json], float, int, str])` but is used as type `Dict[str, complex]`.
8-
aliases_recursive.py:20:0 Incompatible variable type [9]: j5 is declared to have type `aliases_recursive.Json (resolves to Union[None, Dict[str, Json], List[Json], float, int, str])` but is used as type `List[complex]`.
9-
aliases_recursive.py:30:29 Undefined attribute [16]: `tuple` has no attribute `__getitem__`.
10-
aliases_recursive.py:33:4 Undefined or invalid type [11]: Annotation `RecursiveTuple` is not defined as a type.
11-
aliases_recursive.py:42:39 Incompatible parameter type [6]: In call `typing.GenericMeta.__getitem__`, for 1st positional argument, expected `Tuple[Type[Variable[_KT]], Type[Variable[_VT_co]]]` but got `Tuple[Type[str], str]`.
12-
aliases_recursive.py:44:4 Undefined or invalid type [11]: Annotation `RecursiveMapping` is not defined as a type.
13-
aliases_recursive.py:58:20 Undefined attribute [16]: `list` has no attribute `__getitem__`.
14-
aliases_recursive.py:61:4 Undefined or invalid type [11]: Annotation `SpecializedTypeAlias1` is not defined as a type.
15-
aliases_recursive.py:62:4 Undefined or invalid type [11]: Annotation `GenericTypeAlias1` is not defined as a type.
16-
aliases_recursive.py:67:4 Undefined or invalid type [11]: Annotation `GenericTypeAlias2` is not defined as a type.
17-
aliases_recursive.py:72:0 Incompatible variable type [9]: RecursiveUnion is declared to have type `TypeAlias` but is used as type `Type[typing.Any]`.
18-
aliases_recursive.py:75:0 Incompatible variable type [9]: MutualReference1 is declared to have type `TypeAlias` but is used as type `Type[typing.Any]`.
19-
aliases_recursive.py:75:62 Incompatible variable type [9]: MutualReference2 is declared to have type `TypeAlias` but is used as type `Type[typing.Any]`.
207
"""
218
conformance_automated = "Fail"
229
errors_diff = """
10+
Line 19: Expected 1 errors
11+
Line 20: Expected 1 errors
2312
Line 38: Expected 1 errors
2413
Line 39: Expected 1 errors
2514
Line 50: Expected 1 errors
2615
Line 51: Expected 1 errors
2716
Line 52: Expected 1 errors
2817
Line 63: Expected 1 errors
2918
Line 69: Expected 1 errors
30-
Line 30: Unexpected errors ['aliases_recursive.py:30:29 Undefined attribute [16]: `tuple` has no attribute `__getitem__`.']
31-
Line 33: Unexpected errors ['aliases_recursive.py:33:4 Undefined or invalid type [11]: Annotation `RecursiveTuple` is not defined as a type.']
32-
Line 42: Unexpected errors ['aliases_recursive.py:42:39 Incompatible parameter type [6]: In call `typing.GenericMeta.__getitem__`, for 1st positional argument, expected `Tuple[Type[Variable[_KT]], Type[Variable[_VT_co]]]` but got `Tuple[Type[str], str]`.']
33-
Line 44: Unexpected errors ['aliases_recursive.py:44:4 Undefined or invalid type [11]: Annotation `RecursiveMapping` is not defined as a type.']
34-
Line 58: Unexpected errors ['aliases_recursive.py:58:20 Undefined attribute [16]: `list` has no attribute `__getitem__`.']
35-
Line 61: Unexpected errors ['aliases_recursive.py:61:4 Undefined or invalid type [11]: Annotation `SpecializedTypeAlias1` is not defined as a type.']
36-
Line 62: Unexpected errors ['aliases_recursive.py:62:4 Undefined or invalid type [11]: Annotation `GenericTypeAlias1` is not defined as a type.']
37-
Line 67: Unexpected errors ['aliases_recursive.py:67:4 Undefined or invalid type [11]: Annotation `GenericTypeAlias2` is not defined as a type.']
19+
Line 72: Expected 1 errors
20+
Line 75: Expected 1 errors
3821
"""

0 commit comments

Comments
 (0)