update results with correct ty version

carljm · carljm · commit 8ce5fa94375f · 2026-03-06T17:10:17.000-08:00
diff --git a/conformance/results/results.html b/conformance/results/results.html
@@ -180,7 +180,7 @@ <h3>Python Type System Conformance Test Results</h3>
 </th>
 <th class='tc-header'><div class='tc-name'>pyrefly 0.54.0</div>
 </th>
-<th class='tc-header'><div class='tc-name'>ty 0.0.20</div>
+<th class='tc-header'><div class='tc-name'>ty 0.0.21</div>
 </th>
 </tr>
 <tr><th class="column" colspan="6">
@@ -1114,7 +1114,7 @@ <h3>Python Type System Conformance Test Results</h3>
 <th class="column col2 conformant"><div class="hover-text">Pass*<span class="tooltip-text" id="bottom"><p>Does not support `_ignore_` mechanism (optional).</p></span></div></th>
 <th class="column col2 conformant">Pass</th>
 <th class="column col2 conformant">Pass</th>
-<th class="column col2 not-conformant">Unknown</th>
+<th class="column col2 conformant">Pass</th>
 </tr>
 <tr><th class="column" colspan="6">
 <a class="test_group" href="https://typing.readthedocs.io/en/latest/spec/narrowing.html">Type narrowing</a>
diff --git a/conformance/results/ty/aliases_implicit.toml b/conformance/results/ty/aliases_implicit.toml
@@ -20,10 +20,10 @@ aliases_implicit.py:78:29: error[invalid-type-arguments] Too many type arguments
 aliases_implicit.py:79:29: error[invalid-type-arguments] Too many type arguments: expected 1, got 2
 aliases_implicit.py:80:24: error[invalid-type-arguments] Type argument for `ParamSpec` must be either a list of types, `ParamSpec`, `Concatenate`, or `...`
 aliases_implicit.py:81:25: error[invalid-type-arguments] Type `str` is not assignable to upper bound `int | float` of type variable `TFloat@GoodTypeAlias12`
-aliases_implicit.py:107:9: error[invalid-type-form] Variable of type `list[Unknown | <class 'int'> | <class 'str'>]` is not allowed in a type expression
+aliases_implicit.py:107:9: error[invalid-type-form] Variable of type `list[<class 'int'> | <class 'str'>]` is not allowed in a type expression
 aliases_implicit.py:108:9: error[invalid-type-form] Variable of type `tuple[tuple[<class 'int'>, <class 'str'>]]` is not allowed in a type expression
-aliases_implicit.py:109:9: error[invalid-type-form] Variable of type `list[Unknown | <class 'int'>]` is not allowed in a type expression
-aliases_implicit.py:110:9: error[invalid-type-form] Variable of type `dict[Unknown | str, Unknown | str]` is not allowed in a type expression
+aliases_implicit.py:109:9: error[invalid-type-form] Variable of type `list[<class 'int'>]` is not allowed in a type expression
+aliases_implicit.py:110:9: error[invalid-type-form] Variable of type `dict[str, str]` is not allowed in a type expression
 aliases_implicit.py:114:9: error[invalid-type-form] Variable of type `Literal[3]` is not allowed in a type expression
 aliases_implicit.py:115:10: error[invalid-type-form] Variable of type `Literal[True]` is not allowed in a type expression
 aliases_implicit.py:116:10: error[invalid-type-form] Variable of type `Literal[1]` is not allowed in a type expression
diff --git a/conformance/results/ty/aliases_type_statement.toml b/conformance/results/ty/aliases_type_statement.toml
@@ -8,8 +8,6 @@ Does not support `type` statements generic over `TypeVarTuple`s.
 """
 errors_diff = """
 Line 56: Expected 1 errors
-Line 62: Expected 1 errors
-Line 67: Expected 1 errors
 Line 84: Expected 1 errors
 Lines 51, 52: Expected error (tag 'TA14')
 Line 10: Unexpected errors ['aliases_type_statement.py:10:52: error[invalid-type-arguments] Too many type arguments: expected 2, got 3', 'aliases_type_statement.py:10:52: error[invalid-type-form] `...` is not allowed in this context in a type expression']
@@ -29,14 +27,16 @@ aliases_type_statement.py:39:23: error[invalid-type-form] Tuple literals are not
 aliases_type_statement.py:40:22: error[invalid-type-form] List comprehensions are not allowed in type expressions
 aliases_type_statement.py:41:22: error[invalid-type-form] Dict literals are not allowed in type expressions
 aliases_type_statement.py:42:22: error[invalid-type-form] Function calls are not allowed in type expressions
-aliases_type_statement.py:43:22: error[invalid-type-form] Invalid subscript of object of type `list[Unknown | <class 'int'>]` in type expression
+aliases_type_statement.py:43:22: error[invalid-type-form] Invalid subscript of object of type `list[<class 'int'>]` in type expression
 aliases_type_statement.py:43:28: error[invalid-type-form] Int literals are not allowed in this context in a type expression
 aliases_type_statement.py:44:22: error[invalid-type-form] `if` expressions are not allowed in type expressions
 aliases_type_statement.py:45:22: error[invalid-type-form] Variable of type `Literal[1]` is not allowed in a type expression
 aliases_type_statement.py:46:23: error[invalid-type-form] Boolean literals are not allowed in this context in a type expression
 aliases_type_statement.py:47:23: error[invalid-type-form] Int literals are not allowed in this context in a type expression
 aliases_type_statement.py:48:23: error[invalid-type-form] Boolean operations are not allowed in type expressions
 aliases_type_statement.py:49:23: error[fstring-type-annotation] Type expressions cannot use f-strings
+aliases_type_statement.py:62:23: error[unbound-type-variable] Type variable `V` is not bound to any outer generic context
+aliases_type_statement.py:67:17: error[unbound-type-variable] Type variable `T1` is not bound to any outer generic context
 aliases_type_statement.py:77:27: error[invalid-type-arguments] Type `str` is not assignable to upper bound `int` of type variable `S@RecursiveTypeAlias2`
 aliases_type_statement.py:79:32: error[invalid-type-arguments] Type `int` is not assignable to upper bound `str` of type variable `T@RecursiveTypeAlias2`
 aliases_type_statement.py:82:1: error[cyclic-type-alias-definition] Cyclic definition of `RecursiveTypeAlias3`
diff --git a/conformance/results/ty/aliases_typealiastype.toml b/conformance/results/ty/aliases_typealiastype.toml
@@ -24,7 +24,7 @@ aliases_typealiastype.py:54:43: error[invalid-type-form] Tuple literals are not
 aliases_typealiastype.py:55:42: error[invalid-type-form] List comprehensions are not allowed in type expressions
 aliases_typealiastype.py:56:42: error[invalid-type-form] Dict literals are not allowed in type expressions
 aliases_typealiastype.py:57:42: error[invalid-type-form] Function calls are not allowed in type expressions
-aliases_typealiastype.py:58:42: error[invalid-type-form] Invalid subscript of object of type `list[Unknown | <class 'int'>]` in type expression
+aliases_typealiastype.py:58:42: error[invalid-type-form] Invalid subscript of object of type `list[<class 'int'>]` in type expression
 aliases_typealiastype.py:58:48: error[invalid-type-form] Int literals are not allowed in this context in a type expression
 aliases_typealiastype.py:59:42: error[invalid-type-form] `if` expressions are not allowed in type expressions
 aliases_typealiastype.py:60:42: error[invalid-type-form] Variable of type `Literal[3]` is not allowed in a type expression
diff --git a/conformance/results/ty/annotations_forward_refs.toml b/conformance/results/ty/annotations_forward_refs.toml
@@ -21,7 +21,7 @@ annotations_forward_refs.py:43:10: error[invalid-type-form] Tuple literals are n
 annotations_forward_refs.py:44:10: error[invalid-type-form] List comprehensions are not allowed in type expressions
 annotations_forward_refs.py:45:10: error[invalid-type-form] Dict literals are not allowed in type expressions
 annotations_forward_refs.py:46:10: error[invalid-type-form] Function calls are not allowed in type expressions
-annotations_forward_refs.py:47:10: error[invalid-type-form] Invalid subscript of object of type `list[Unknown | <class 'int'>]` in type expression
+annotations_forward_refs.py:47:10: error[invalid-type-form] Invalid subscript of object of type `list[<class 'int'>]` in type expression
 annotations_forward_refs.py:47:16: error[invalid-type-form] Int literals are not allowed in this context in a type expression
 annotations_forward_refs.py:48:10: error[invalid-type-form] `if` expressions are not allowed in type expressions
 annotations_forward_refs.py:49:10: error[invalid-type-form] Variable of type `Literal[1]` is not allowed in a type expression
diff --git a/conformance/results/ty/annotations_typeexpr.toml b/conformance/results/ty/annotations_typeexpr.toml
@@ -8,7 +8,7 @@ annotations_typeexpr.py:90:9: error[invalid-type-form] Tuple literals are not al
 annotations_typeexpr.py:91:9: error[invalid-type-form] List comprehensions are not allowed in type expressions
 annotations_typeexpr.py:92:9: error[invalid-type-form] Dict literals are not allowed in type expressions
 annotations_typeexpr.py:93:9: error[invalid-type-form] Function calls are not allowed in type expressions
-annotations_typeexpr.py:94:9: error[invalid-type-form] Invalid subscript of object of type `list[Unknown | <class 'int'>]` in type expression
+annotations_typeexpr.py:94:9: error[invalid-type-form] Invalid subscript of object of type `list[<class 'int'>]` in type expression
 annotations_typeexpr.py:94:15: error[invalid-type-form] Int literals are not allowed in this context in a type expression
 annotations_typeexpr.py:95:9: error[invalid-type-form] `if` expressions are not allowed in type expressions
 annotations_typeexpr.py:96:9: error[invalid-type-form] Variable of type `Literal[3]` is not allowed in a type expression
diff --git a/conformance/results/ty/constructors_callable.toml b/conformance/results/ty/constructors_callable.toml
@@ -10,15 +10,12 @@ errors_diff = """
 Line 66: Expected 1 errors
 Line 67: Expected 1 errors
 Line 68: Expected 1 errors
-Line 186: Expected 1 errors
-Line 197: Expected 1 errors
 Line 102: Unexpected errors ['constructors_callable.py:102:5: error[type-assertion-failure] Type `Unknown` does not match asserted type `Never`']
 Line 107: Unexpected errors ['constructors_callable.py:107:5: error[type-assertion-failure] Type `Unknown` does not match asserted type `Never`']
 Line 143: Unexpected errors ["constructors_callable.py:143:27: error[invalid-argument-type] Argument to function `accepts_callable` is incorrect: Expected `() -> Any | Class6Any`, found `<class 'Class6Any'>`"]
 Line 145: Unexpected errors ['constructors_callable.py:145:1: error[type-assertion-failure] Type `Any | Class6Any` does not match asserted type `Any`']
 Line 166: Unexpected errors ['constructors_callable.py:166:1: error[type-assertion-failure] Type `Class7[int] | Class7[str]` does not match asserted type `Class7[int]`']
 Line 167: Unexpected errors ['constructors_callable.py:167:1: error[type-assertion-failure] Type `Class7[int] | Class7[str]` does not match asserted type `Class7[str]`']
-Line 185: Unexpected errors ['constructors_callable.py:185:1: error[type-assertion-failure] Type `Class8[Unknown | str]` does not match asserted type `Class8[str]`']
 """
 output = """
 constructors_callable.py:36:13: info[revealed-type] Revealed type: `(x: int) -> Class1`
@@ -45,6 +42,9 @@ constructors_callable.py:164:5: info[revealed-type] Revealed type: `Overload[[T]
 constructors_callable.py:166:1: error[type-assertion-failure] Type `Class7[int] | Class7[str]` does not match asserted type `Class7[int]`
 constructors_callable.py:167:1: error[type-assertion-failure] Type `Class7[int] | Class7[str]` does not match asserted type `Class7[str]`
 constructors_callable.py:184:13: info[revealed-type] Revealed type: `[T](x: list[T], y: list[T]) -> Class8[T]`
-constructors_callable.py:185:1: error[type-assertion-failure] Type `Class8[Unknown | str]` does not match asserted type `Class8[str]`
+constructors_callable.py:186:4: error[invalid-argument-type] Argument is incorrect: Expected `list[int | str]`, found `list[int]`
+constructors_callable.py:186:9: error[invalid-argument-type] Argument is incorrect: Expected `list[int | str]`, found `list[str]`
 constructors_callable.py:195:13: info[revealed-type] Revealed type: `[T](x: list[T], y: list[T]) -> Class9`
+constructors_callable.py:197:4: error[invalid-argument-type] Argument is incorrect: Expected `list[int | str]`, found `list[int]`
+constructors_callable.py:197:9: error[invalid-argument-type] Argument is incorrect: Expected `list[int | str]`, found `list[str]`
 """
diff --git a/conformance/results/ty/enums_member_names.toml b/conformance/results/ty/enums_member_names.toml
@@ -2,5 +2,4 @@ conformance_automated = "Pass"
 errors_diff = """
 """
 output = """
-enums_member_names.py:30:5: error[type-assertion-failure] Type `Any` does not match asserted type `Literal["RED", "BLUE", "GREEN"]`
 """
diff --git a/conformance/results/ty/enums_member_values.toml b/conformance/results/ty/enums_member_values.toml
@@ -2,7 +2,6 @@ conformance_automated = "Pass"
 errors_diff = """
 """
 output = """
-enums_member_values.py:30:5: error[type-assertion-failure] Type `Any` does not match asserted type `Literal[1, 2, 3]`
 enums_member_values.py:50:5: error[invalid-assignment] Enum member `MARS` is incompatible with `__init__`
 enums_member_values.py:51:5: error[invalid-assignment] Enum member `JUPITER` is incompatible with `__init__`
 enums_member_values.py:54:1: error[type-assertion-failure] Type `Any` does not match asserted type `Literal[1]`
diff --git a/conformance/results/ty/enums_members.toml b/conformance/results/ty/enums_members.toml
@@ -1,8 +1,8 @@
-conformance_automated = "Fail"
+conformance_automated = "Pass"
 errors_diff = """
-Line 50: Expected 1 errors
 """
 output = """
+enums_members.py:50:10: error[invalid-enum-member-annotation] Type annotation on enum member `DOG` is not allowed
 enums_members.py:82:20: error[invalid-type-form] Type arguments for `Literal` must be `None`, a literal value (int, bool, str, or bytes), or an enum member
 enums_members.py:83:20: error[invalid-type-form] Type arguments for `Literal` must be `None`, a literal value (int, bool, str, or bytes), or an enum member
 enums_members.py:84:18: error[invalid-type-form] Type arguments for `Literal` must be `None`, a literal value (int, bool, str, or bytes), or an enum member
diff --git a/conformance/results/ty/generics_defaults.toml b/conformance/results/ty/generics_defaults.toml
@@ -10,6 +10,7 @@ Line 188: Expected 1 errors
 Line 122: Unexpected errors ['generics_defaults.py:122:5: error[type-assertion-failure] Type `(**DefaultP@Class_ParamSpec) -> None` does not match asserted type `(str, int, /) -> None`']
 Line 139: Unexpected errors ['generics_defaults.py:139:5: error[type-assertion-failure] Type `tuple[@Todo(TypeVarTuple), ...]` does not match asserted type `tuple[str, int]`']
 Line 140: Unexpected errors ['generics_defaults.py:140:5: error[type-assertion-failure] Type `Class_TypeVarTuple` does not match asserted type `@Todo`']
+Line 200: Unexpected errors ['generics_defaults.py:200:17: error[invalid-type-form] The first argument to `Callable` must be either a list of types, ParamSpec, Concatenate, or `...`']
 Line 203: Unexpected errors ['generics_defaults.py:203:52: error[invalid-type-form] List literals are not allowed in this context in a type expression: Did you mean `list[bytes]`?']
 Line 204: Unexpected errors ['generics_defaults.py:204:5: error[type-assertion-failure] Type `@Todo` does not match asserted type `tuple[int, str]`']
 Line 205: Unexpected errors ['generics_defaults.py:205:5: error[type-assertion-failure] Type `@Todo` does not match asserted type `(int | float, bool, /) -> None`']
@@ -25,6 +26,7 @@ generics_defaults.py:140:5: error[type-assertion-failure] Type `Class_TypeVarTup
 generics_defaults.py:152:51: error[invalid-type-variable-default] TypeVar default is not assignable to the TypeVar's upper bound
 generics_defaults.py:159:52: error[invalid-type-variable-default] TypeVar default is inconsistent with the TypeVar's constraints: `int` is not one of the constraints of `Invalid2`
 generics_defaults.py:177:1: error[type-assertion-failure] Type `int` does not match asserted type `Any`
+generics_defaults.py:200:17: error[invalid-type-form] The first argument to `Callable` must be either a list of types, ParamSpec, Concatenate, or `...`
 generics_defaults.py:203:52: error[invalid-type-form] List literals are not allowed in this context in a type expression: Did you mean `list[bytes]`?
 generics_defaults.py:204:5: error[type-assertion-failure] Type `@Todo` does not match asserted type `tuple[int, str]`
 generics_defaults.py:205:5: error[type-assertion-failure] Type `@Todo` does not match asserted type `(int | float, bool, /) -> None`
diff --git a/conformance/results/ty/generics_paramspec_basic.toml b/conformance/results/ty/generics_paramspec_basic.toml
@@ -6,12 +6,14 @@ Does not support `Concatenate`.
 """
 errors_diff = """
 Line 15: Expected 1 errors
-Line 23: Expected 1 errors
 Line 27: Expected 1 errors
-Line 31: Expected 1 errors
-Line 35: Expected 1 errors
-Line 39: Expected 1 errors
 """
 output = """
 generics_paramspec_basic.py:10:1: error[invalid-paramspec] The name of a `ParamSpec` (`NotIt`) must match the name of the variable it is assigned to (`WrongName`)
+generics_paramspec_basic.py:23:14: error[invalid-type-form] Bare ParamSpec `P` is not valid in this context in a type expression
+generics_paramspec_basic.py:23:20: error[invalid-type-form] Bare ParamSpec `P` is not valid in this context in a type expression
+generics_paramspec_basic.py:31:19: error[invalid-type-arguments] ParamSpec `P` cannot be used to specialize type variable `_T`
+generics_paramspec_basic.py:35:35: error[invalid-type-form] Bare ParamSpec `P` is not valid in this context in a type expression
+generics_paramspec_basic.py:39:18: error[invalid-type-form] Bare ParamSpec `P` is not valid in this context in a type expression
+generics_paramspec_basic.py:39:31: error[invalid-type-form] Bare ParamSpec `P` is not valid in this context in a type expression
 """
diff --git a/conformance/results/ty/generics_scoping.toml b/conformance/results/ty/generics_scoping.toml
@@ -5,12 +5,7 @@ Does not reject `list[T]()` in the global scope, where `T` is an unbound type va
 Does nto reject `alias: TypeAlias = list[T]` in the body scope of a class generic over a type variable `T`.
 """
 errors_diff = """
-Line 61: Expected 1 errors
-Line 65: Expected 1 errors
-Line 89: Expected 1 errors
 Line 98: Expected 1 errors
-Line 105: Expected 1 errors
-Line 106: Expected 1 errors
 Line 107: Expected 1 errors
 """
 output = """
@@ -19,7 +14,12 @@ generics_scoping.py:19:1: error[type-assertion-failure] Type `Literal["a"]` does
 generics_scoping.py:34:10: error[invalid-argument-type] Argument to bound method `meth_2` is incorrect: Expected `int`, found `Literal["a"]`
 generics_scoping.py:49:1: error[type-assertion-failure] Type `Literal["abc"]` does not match asserted type `str`
 generics_scoping.py:53:1: error[type-assertion-failure] Type `Literal[b"abc"]` does not match asserted type `bytes`
+generics_scoping.py:61:13: error[unbound-type-variable] Type variable `S` is not bound to any outer generic context
+generics_scoping.py:65:19: error[unbound-type-variable] Type variable `S` is not bound to any outer generic context
 generics_scoping.py:76:11: error[shadowed-type-variable] Generic class `MyGeneric` uses type variable `T` already bound by an enclosing scope
 generics_scoping.py:76:11: error[shadowed-type-variable] Generic class `MyGeneric` uses type variable `T` already bound by an enclosing scope
 generics_scoping.py:86:11: error[shadowed-type-variable] Generic class `Bad` uses type variable `T` already bound by an enclosing scope
+generics_scoping.py:89:17: error[unbound-type-variable] Type variable `T` is not bound to any outer generic context
+generics_scoping.py:105:14: error[unbound-type-variable] Type variable `T` is not bound to any outer generic context
+generics_scoping.py:106:19: error[unbound-type-variable] Type variable `T` is not bound to any outer generic context
 """
diff --git a/conformance/results/ty/qualifiers_annotated.toml b/conformance/results/ty/qualifiers_annotated.toml
@@ -8,7 +8,7 @@ qualifiers_annotated.py:39:18: error[invalid-type-form] Tuple literals are not a
 qualifiers_annotated.py:40:17: error[invalid-type-form] List comprehensions are not allowed in type expressions
 qualifiers_annotated.py:41:17: error[invalid-type-form] Dict literals are not allowed in type expressions
 qualifiers_annotated.py:42:17: error[invalid-type-form] Function calls are not allowed in type expressions
-qualifiers_annotated.py:43:17: error[invalid-type-form] Invalid subscript of object of type `list[Unknown | <class 'int'>]` in type expression
+qualifiers_annotated.py:43:17: error[invalid-type-form] Invalid subscript of object of type `list[<class 'int'>]` in type expression
 qualifiers_annotated.py:43:23: error[invalid-type-form] Int literals are not allowed in this context in a type expression
 qualifiers_annotated.py:44:17: error[invalid-type-form] `if` expressions are not allowed in type expressions
 qualifiers_annotated.py:45:17: error[unresolved-reference] Name `var1` used when not defined
diff --git a/conformance/results/ty/version.toml b/conformance/results/ty/version.toml
@@ -1 +1 @@
-version = "ty 0.0.20"
+version = "ty 0.0.21"
