adjust for mypy

Author: JelleZijlstra

conformance/results/mypy/typeforms_typeform.toml

@@ -1,13 +1,15 @@
+conformant = "Partial"
+notes = """
+Does not support assigning Union and GenericAlias objects to their runtime types.
+"""
 conformance_automated = "Fail"
 errors_diff = """
-Line 34: Unexpected errors ['typeforms_typeform.py:34: error: Expression is of type "TypeForm[str]", not "TypeForm[Any]"  [assert-type]']
 Line 40: Unexpected errors ['typeforms_typeform.py:40: error: Incompatible types in assignment (expression has type "UnionType | type[str]", variable has type "UnionType")  [assignment]']
 Line 43: Unexpected errors ['typeforms_typeform.py:43: error: Incompatible types in assignment (expression has type "type[list[int]]", variable has type "GenericAlias")  [assignment]']
 """
 output = """
 typeforms_typeform.py:23: error: Incompatible types in assignment (expression has type "TypeForm[str | int]", variable has type "TypeForm[str | None]")  [assignment]
 typeforms_typeform.py:24: error: Incompatible types in assignment (expression has type "TypeForm[list[str | None]]", variable has type "TypeForm[str | None]")  [assignment]
-typeforms_typeform.py:34: error: Expression is of type "TypeForm[str]", not "TypeForm[Any]"  [assert-type]
 typeforms_typeform.py:40: error: Incompatible types in assignment (expression has type "UnionType | type[str]", variable has type "UnionType")  [assignment]
 typeforms_typeform.py:43: error: Incompatible types in assignment (expression has type "type[list[int]]", variable has type "GenericAlias")  [assignment]
 typeforms_typeform.py:55: error: Incompatible types in assignment (expression has type "tuple[Never, ...]", variable has type "TypeForm[Any]")  [assignment]

conformance/results/pyrefly/typeforms_typeform.toml

@@ -1,3 +1,4 @@
+conformance = "Unsupported"
 conformance_automated = "Fail"
 errors_diff = """
 Line 15: Unexpected errors ['Expected a type form, got instance of `object` [not-a-type]']
@@ -9,8 +10,8 @@ Line 20: Unexpected errors ['Expected a type form, got instance of `object` [not
 Line 21: Unexpected errors ['Expected a type form, got instance of `object` [not-a-type]']
 Line 29: Unexpected errors ['Expected a type form, got instance of `object` [not-a-type]']
 Line 30: Unexpected errors ['Expected a type form, got instance of `object` [not-a-type]']
-Line 34: Unexpected errors ['Expected a type form, got instance of `object` [not-a-type]']
-Line 35: Unexpected errors ['Expected a type form, got instance of `object` [not-a-type]']
+Line 31: Unexpected errors ['Expected a type form, got instance of `object` [not-a-type]']
+Line 32: Unexpected errors ['Expected a type form, got instance of `object` [not-a-type]']
 Line 40: Unexpected errors ['`type[str | None]` is not assignable to `UnionType` [bad-assignment]']
 Line 41: Unexpected errors ['Expected a type form, got instance of `object` [not-a-type]']
 Line 43: Unexpected errors ['`type[list[int]]` is not assignable to `GenericAlias` [bad-assignment]', 'Expected `v2_actual` to be a type alias, got `GenericAlias` [invalid-type-alias]']
@@ -37,8 +38,8 @@ ERROR typeforms_typeform.py:23:7-27: Expected a type form, got instance of `obje
 ERROR typeforms_typeform.py:24:7-27: Expected a type form, got instance of `object` [not-a-type]
 ERROR typeforms_typeform.py:29:8-21: Expected a type form, got instance of `object` [not-a-type]
 ERROR typeforms_typeform.py:30:8-21: Expected a type form, got instance of `object` [not-a-type]
-ERROR typeforms_typeform.py:34:20-33: Expected a type form, got instance of `object` [not-a-type]
-ERROR typeforms_typeform.py:35:20-33: Expected a type form, got instance of `object` [not-a-type]
+ERROR typeforms_typeform.py:31:20-33: Expected a type form, got instance of `object` [not-a-type]
+ERROR typeforms_typeform.py:32:20-33: Expected a type form, got instance of `object` [not-a-type]
 ERROR typeforms_typeform.py:40:30-40: `type[str | None]` is not assignable to `UnionType` [bad-assignment]
 ERROR typeforms_typeform.py:41:15-35: Expected a type form, got instance of `object` [not-a-type]
 ERROR typeforms_typeform.py:43:33-42: `type[list[int]]` is not assignable to `GenericAlias` [bad-assignment]

conformance/results/pyright/typeforms_typeform.toml

@@ -1,3 +1,4 @@
+conformance = "Unsupported"
 conformance_automated = "Fail"
 errors_diff = """
 Line 58: Expected 1 errors
@@ -11,8 +12,7 @@ Line 19: Unexpected errors ['typeforms_typeform.py:19:29 - error: Type "UnionTyp
 Line 20: Unexpected errors ['typeforms_typeform.py:20:29 - error: Type "Literal[\\'str | None\\']" is not assignable to declared type "TypeForm[str | None]"']
 Line 21: Unexpected errors ['typeforms_typeform.py:21:29 - error: Type "type[Any]" is not assignable to declared type "TypeForm[str | None]"']
 Line 29: Unexpected errors ['typeforms_typeform.py:29:24 - error: Type "UnionType" is not assignable to declared type "TypeForm[Any]"']
-Line 34: Unexpected errors ['typeforms_typeform.py:34:13 - error: "assert_type" mismatch: expected "TypeForm[Any]" but received "type[str]" (reportAssertTypeFailure)']
-Line 35: Unexpected errors ['typeforms_typeform.py:35:13 - error: "assert_type" mismatch: expected "TypeForm[str]" but received "type[str]" (reportAssertTypeFailure)']
+Line 32: Unexpected errors ['typeforms_typeform.py:32:13 - error: "assert_type" mismatch: expected "TypeForm[str]" but received "type[str]" (reportAssertTypeFailure)']
 Line 41: Unexpected errors ['typeforms_typeform.py:41:38 - error: Type "UnionType" is not assignable to declared type "TypeForm[str | None]"']
 Line 43: Unexpected errors ['typeforms_typeform.py:43:33 - error: Type "type[list[int]]" is not assignable to declared type "GenericAlias"']
 Line 46: Unexpected errors ['typeforms_typeform.py:46:27 - error: Type "Annotated" is not assignable to declared type "TypeForm[int | str]"']
@@ -41,8 +41,7 @@ typeforms_typeform.py:24:30 - error: Type "type[list[str | None]]" is not assign
     "list[str | None]" is not assignable to "None" (reportAssignmentType)
 typeforms_typeform.py:29:24 - error: Type "UnionType" is not assignable to declared type "TypeForm[Any]"
   "UnionType" is not assignable to "TypeForm[Any]" (reportAssignmentType)
-typeforms_typeform.py:34:13 - error: "assert_type" mismatch: expected "TypeForm[Any]" but received "type[str]" (reportAssertTypeFailure)
-typeforms_typeform.py:35:13 - error: "assert_type" mismatch: expected "TypeForm[str]" but received "type[str]" (reportAssertTypeFailure)
+typeforms_typeform.py:32:13 - error: "assert_type" mismatch: expected "TypeForm[str]" but received "type[str]" (reportAssertTypeFailure)
 typeforms_typeform.py:41:38 - error: Type "UnionType" is not assignable to declared type "TypeForm[str | None]"
   "UnionType" is not assignable to "TypeForm[str | None]" (reportAssignmentType)
 typeforms_typeform.py:43:33 - error: Type "type[list[int]]" is not assignable to declared type "GenericAlias"

conformance/results/results.html

@@ -218,7 +218,7 @@ <h3>Python Type System Conformance Test Results</h3>
 <a class="test_group" href="https://typing.readthedocs.io/en/latest/spec/type-forms.html">Type forms</a>
 </th></tr>
 <tr><th class="column col1">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;typeforms_typeform</th>
-<th class="column col2 not-conformant">Unknown</th>
+<th class="column col2 partially-conformant"><div class="hover-text">Partial<span class="tooltip-text" id="bottom"><p>Does not support assigning Union and GenericAlias objects to their runtime types.</p></span></div></th>
 <th class="column col2 not-conformant">Unknown</th>
 <th class="column col2 not-conformant">Unknown</th>
 <th class="column col2 not-conformant">Unknown</th>

conformance/results/zuban/typeforms_typeform.toml

@@ -1,3 +1,4 @@
+conformance = "Unsupported"
 conformance_automated = "Fail"
 errors_diff = """
 Line 15: Unexpected errors ['typeforms_typeform.py:15: error: Invalid type comment or annotation  [valid-type]']
@@ -9,8 +10,8 @@ Line 20: Unexpected errors ['typeforms_typeform.py:20: error: Invalid type comme
 Line 21: Unexpected errors ['typeforms_typeform.py:21: error: Invalid type comment or annotation  [valid-type]']
 Line 29: Unexpected errors ['typeforms_typeform.py:29: error: Invalid type comment or annotation  [valid-type]']
 Line 30: Unexpected errors ['typeforms_typeform.py:30: error: Invalid type comment or annotation  [valid-type]']
-Line 34: Unexpected errors ['typeforms_typeform.py:34: error: Cast target is not a type  [misc]']
-Line 35: Unexpected errors ['typeforms_typeform.py:35: error: Cast target is not a type  [misc]']
+Line 31: Unexpected errors ['typeforms_typeform.py:31: error: Cast target is not a type  [misc]']
+Line 32: Unexpected errors ['typeforms_typeform.py:32: error: Cast target is not a type  [misc]']
 Line 41: Unexpected errors ['typeforms_typeform.py:41: error: Invalid type comment or annotation  [valid-type]']
 Line 43: Unexpected errors ['typeforms_typeform.py:43: error: Incompatible types in assignment (expression has type "type[list[int]]", variable has type "GenericAlias")  [assignment]']
 Line 44: Unexpected errors ['typeforms_typeform.py:44: error: Invalid type comment or annotation  [valid-type]']
@@ -36,8 +37,8 @@ typeforms_typeform.py:23: error: Invalid type comment or annotation  [valid-type
 typeforms_typeform.py:24: error: Invalid type comment or annotation  [valid-type]
 typeforms_typeform.py:29: error: Invalid type comment or annotation  [valid-type]
 typeforms_typeform.py:30: error: Invalid type comment or annotation  [valid-type]
-typeforms_typeform.py:34: error: Cast target is not a type  [misc]
-typeforms_typeform.py:35: error: Cast target is not a type  [misc]
+typeforms_typeform.py:31: error: Cast target is not a type  [misc]
+typeforms_typeform.py:32: error: Cast target is not a type  [misc]
 typeforms_typeform.py:41: error: Invalid type comment or annotation  [valid-type]
 typeforms_typeform.py:43: error: Incompatible types in assignment (expression has type "type[list[int]]", variable has type "GenericAlias")  [assignment]
 typeforms_typeform.py:44: error: Invalid type comment or annotation  [valid-type]

conformance/tests/typeforms_typeform.py

@@ -28,12 +28,12 @@
 
 v_any: TypeForm[Any] = int | str
 v_str: TypeForm[str] = str
-v_any = v_str  # OK
-v_str = v_any  # OK
-
 assert_type(v_any, TypeForm[Any])
 assert_type(v_str, TypeForm[str])
 
+v_any = v_str  # OK
+v_str = v_any  # OK
+
 
 # > Valid type expressions are assignable to ``TypeForm`` through implicit TypeForm evaluation.