Merge remote-tracking branch 'origin' into string-annotations

Author: davidhalter

conformance/results/results.html

@@ -1,17 +1,12 @@
-conformant = "Partial"
-notes = """
-Does not honor `@override` compatibility checks for `__init__` and `__new__`:
-the incompatible constructor overrides in `ChildC2` are not flagged.
-"""
-conformance_automated = "Fail"
+conformance_automated = "Pass"
 errors_diff = """
-Lines 134, 135: Expected error (tag 'init')
-Lines 137, 138: Expected error (tag 'new')
 """
 output = """
 classes_override.py:53:9: error[invalid-explicit-override] Method `method3` is decorated with `@override` but does not override anything
 classes_override.py:65:9: error[invalid-explicit-override] Method `method4` is decorated with `@override` but does not override anything
 classes_override.py:79:9: error[invalid-explicit-override] Method `static_method1` is decorated with `@override` but does not override anything
 classes_override.py:84:9: error[invalid-explicit-override] Method `class_method1` is decorated with `@override` but does not override anything
 classes_override.py:89:9: error[invalid-explicit-override] Method `property1` is decorated with `@override` but does not override anything
+classes_override.py:135:9: error[invalid-method-override] Invalid override of method `__init__`: Definition is incompatible with `ParentC.__init__`
+classes_override.py:138:9: error[invalid-method-override] Invalid override of method `__new__`: Definition is incompatible with `ParentC.__new__`
 """

conformance/results/ty/classes_override.toml

@@ -1,12 +1,9 @@
 conformance_automated = "Fail"
 conformant = "Partial"
 notes = """
-Allows arbitrary attributes to be accessed on `TA` where `TA = typing.Type[typing.Any]` or `TA = type[typing.Any]`.
 Treats `type` equivalently to `type[object]` rather than `type[typing.Any]`.
 """
 errors_diff = """
-Line 144: Expected 1 errors
-Line 146: Expected 1 errors
 Line 84: Unexpected errors ['specialtypes_type.py:84:5: error[type-assertion-failure] Type `type` does not match asserted type `type[Any]`']
 Line 99: Unexpected errors ['specialtypes_type.py:99:17: error[unresolved-attribute] Object of type `type` has no attribute `unknown`']
 Line 100: Unexpected errors ['specialtypes_type.py:100:17: error[unresolved-attribute] Object of type `type` has no attribute `unknown`']
@@ -31,7 +28,9 @@ specialtypes_type.py:120:5: error[unresolved-attribute] Object of type `type` ha
 specialtypes_type.py:137:5: error[type-assertion-failure] Type `type` does not match asserted type `type[Any]`
 specialtypes_type.py:139:5: error[type-assertion-failure] Type `type` does not match asserted type `type[Any]`
 specialtypes_type.py:143:1: error[unresolved-attribute] Special form `typing.Type` has no attribute `unknown`
+specialtypes_type.py:144:1: error[unresolved-attribute] Object of type `<special-form 'type[Any]'>` has no attribute `unknown`
 specialtypes_type.py:145:1: error[unresolved-attribute] Class `type` has no attribute `unknown`
+specialtypes_type.py:146:1: error[unresolved-attribute] Object of type `<special-form 'type[Any]'>` has no attribute `unknown`
 specialtypes_type.py:169:21: error[invalid-assignment] Object of type `type` is not assignable to `type[int]`
 specialtypes_type.py:175:16: error[invalid-return-type] Return type does not match returned value: expected `type[T@ClassA]`, found `type`
 """

conformance/results/ty/specialtypes_type.toml

@@ -1 +1 @@
-version = "ty 0.0.78"
+version = "ty 0.0.81"