Skip to content

Commit 400a1c3

Browse files
charliermarshcharliermarsh
committed
Update ty results for v0.0.82
1 parent 7f321cd commit 400a1c3

8 files changed

Lines changed: 58 additions & 59 deletions

File tree

‎conformance/results/results.html‎

Lines changed: 15 additions & 15 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎conformance/results/ty/aliases_newtype.toml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@ output = """
55
aliases_newtype.py:11:8: error[invalid-argument-type] Argument is incorrect: Expected `int`, found `Literal["user"]`
66
aliases_newtype.py:12:14: error[invalid-assignment] Object of type `Literal[42]` is not assignable to `UserId`
77
aliases_newtype.py:18:11: error[invalid-assignment] Object of type `<NewType pseudo-class 'UserId'>` is not assignable to `type`
8-
aliases_newtype.py:23:16: error[invalid-argument-type] Argument to function `isinstance` is incorrect: Expected `type | UnionType | tuple[Divergent, ...]`, found `<NewType pseudo-class 'UserId'>`
8+
aliases_newtype.py:23:16: error[invalid-argument-type] Argument to function `isinstance` is incorrect: Expected `_ClassInfo`, found `<NewType pseudo-class 'UserId'>`
99
aliases_newtype.py:26:21: error[invalid-base] Cannot subclass an instance of NewType
1010
aliases_newtype.py:35:20: error[mismatched-type-name] The name passed to `NewType` must match the variable it is assigned to: Expected "GoodName", got "BadName"
1111
aliases_newtype.py:41:6: error[invalid-type-form] `GoodNewType1` is a `NewType` and cannot be specialized

‎conformance/results/ty/aliases_recursive.toml‎

Lines changed: 13 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -1,17 +1,20 @@
11
conformance_automated = "Fail"
2-
conformant = "Unsupported"
2+
conformant = "Partial"
3+
notes = """
4+
Does not reject invalid cyclic type alias definitions.
5+
"""
36
errors_diff = """
4-
Line 19: Expected 1 errors
5-
Line 20: Expected 1 errors
6-
Line 38: Expected 1 errors
7-
Line 39: Expected 1 errors
8-
Line 50: Expected 1 errors
9-
Line 51: Expected 1 errors
10-
Line 52: Expected 1 errors
11-
Line 63: Expected 1 errors
12-
Line 69: Expected 1 errors
137
Line 72: Expected 1 errors
148
Line 75: Expected 1 errors
159
"""
1610
output = """
11+
aliases_recursive.py:19:12: error[invalid-assignment] Object of type `dict[str, None | complex | str | list[Json] | dict[str, Json]]` is not assignable to `Json`
12+
aliases_recursive.py:20:12: error[invalid-assignment] Object of type `list[None | complex | str | list[Json] | dict[str, Json]]` is not assignable to `Json`
13+
aliases_recursive.py:38:22: error[invalid-assignment] Object of type `tuple[Literal[1], tuple[Literal["1"], Literal[1]], tuple[Literal[1], tuple[Literal[1], list[int]]]]` is not assignable to `RecursiveTuple`
14+
aliases_recursive.py:39:22: error[invalid-assignment] Object of type `tuple[Literal[1], list[int]]` is not assignable to `RecursiveTuple`
15+
aliases_recursive.py:50:24: error[invalid-assignment] Object of type `dict[str, list[int]]` is not assignable to `RecursiveMapping`
16+
aliases_recursive.py:51:24: error[invalid-assignment] Object of type `dict[str, str | int | list[int]]` is not assignable to `RecursiveMapping`
17+
aliases_recursive.py:52:24: error[invalid-assignment] Object of type `dict[str, str | int | dict[str, str | int | list[int]]]` is not assignable to `RecursiveMapping`
18+
aliases_recursive.py:63:30: error[invalid-assignment] Object of type `list[list[GenericTypeAlias1[str] | str] | str | list[list[GenericTypeAlias1[str] | str] | str | float]]` is not assignable to `GenericTypeAlias1[str]`
19+
aliases_recursive.py:69:35: error[invalid-assignment] Object of type `list[list[GenericTypeAlias2[str, int] | str | int] | str | int | list[list[GenericTypeAlias2[str, int] | str | int] | str | int | list[list[GenericTypeAlias2[str, int] | str | int] | str | int | list[list[GenericTypeAlias2[str, int] | str | int] | str | float]]]]` is not assignable to `GenericTypeAlias2[str, int]`
1720
"""

‎conformance/results/ty/aliases_type_statement.toml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ aliases_type_statement.py:17:1: error[unresolved-attribute] Object of type `Type
66
aliases_type_statement.py:19:1: error[call-non-callable] Object of type `TypeAliasType` is not callable
77
aliases_type_statement.py:23:7: error[unresolved-attribute] Object of type `TypeAliasType` has no attribute `other_attrib`
88
aliases_type_statement.py:26:18: error[invalid-base] Invalid class base with type `TypeAliasType`
9-
aliases_type_statement.py:31:22: error[invalid-argument-type] Argument to function `isinstance` is incorrect: Expected `type | UnionType | tuple[Divergent, ...]`, found `TypeAliasType`
9+
aliases_type_statement.py:31:22: error[invalid-argument-type] Argument to function `isinstance` is incorrect: Expected `_ClassInfo`, found `TypeAliasType`
1010
aliases_type_statement.py:37:22: error[invalid-type-form] Function calls are not allowed in type alias values
1111
aliases_type_statement.py:38:22: error[invalid-type-form] List literals are not allowed in this context in a type alias value
1212
aliases_type_statement.py:39:22: error[invalid-type-form] Tuple literals are not allowed in this context in a type alias value

‎conformance/results/ty/protocols_explicit.toml‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,16 +1,16 @@
11
conformance_automated = "Fail"
2-
conformant = "Unsupported"
2+
conformant = "Partial"
33
notes = """
4-
Allows implicitly abstract protocol methods to be called via `super()` on a protocol subclass.
5-
Allows instantiation of abstract subclasses of protocol classes.
4+
Allows abstract protocol methods with no default implementation to be called via `super()` on a protocol subclass.
5+
Allows instantiation of protocol subclasses with uninitialized `ClassVar` members.
66
"""
77
errors_diff = """
88
Line 27: Expected 1 errors
9-
Line 60: Expected 1 errors
109
Line 89: Expected 1 errors
11-
Line 134: Expected 1 errors
12-
Line 164: Expected 1 errors
1310
"""
1411
output = """
1512
protocols_explicit.py:56:9: error[invalid-assignment] Object of type `tuple[int, int, str]` is not assignable to attribute `rgb` of type `tuple[int, int, int]`
13+
protocols_explicit.py:60:5: error[call-non-callable] Cannot instantiate `Point` with unimplemented abstract methods `intensity` and `transparency`
14+
protocols_explicit.py:134:6: error[call-non-callable] Cannot instantiate `Concrete5` with unimplemented abstract method `method1`
15+
protocols_explicit.py:164:7: error[call-non-callable] Cannot instantiate `Concrete7A` with unimplemented abstract method `method1`
1616
"""

‎conformance/results/ty/protocols_merging.toml‎

Lines changed: 2 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,11 @@
1-
conformance_automated = "Fail"
2-
conformant = "Partial"
3-
notes = """
4-
Does not reject attempted instantiation of abstract subclasses of protocols.
5-
"""
1+
conformance_automated = "Pass"
62
errors_diff = """
7-
Line 82: Expected 1 errors
83
"""
94
output = """
105
protocols_merging.py:52:25: error[invalid-assignment] Object of type `SCConcrete2` is not assignable to `SizedAndClosable1`
116
protocols_merging.py:53:25: error[invalid-assignment] Object of type `SCConcrete2` is not assignable to `SizedAndClosable2`
127
protocols_merging.py:54:25: error[invalid-assignment] Object of type `SCConcrete2` is not assignable to `SizedAndClosable3`
138
protocols_merging.py:67:16: error[invalid-protocol] Protocol class `BadProto` cannot inherit from non-protocol class `SizedAndClosable3`
9+
protocols_merging.py:82:5: error[call-non-callable] Cannot instantiate `SizedAndClosable4` with unimplemented abstract method `close`
1410
protocols_merging.py:83:24: error[invalid-assignment] Object of type `SCConcrete1` is not assignable to `SizedAndClosable4`
1511
"""

‎conformance/results/ty/version.toml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
version = "ty 0.0.81"
1+
version = "ty 0.0.82"

0 commit comments

Comments
 (0)