Mark failing tests

Author: Glyphack

crates/ty_python_semantic/resources/mdtest/annotations/self.md

@@ -200,8 +200,7 @@ class Bar(Generic[T]):
 class Baz(Bar[Self]): ...
 
 class MyMetaclass(type):
+    # TODO: reject the Self usage. because self cannot be used within a metaclass.
     def __new__(cls) -> Self:
-        # TODO: reject the Self usage and don't emit a return type diagnostic.
-        # error: [invalid-return-type]
         return super().__new__(cls)
 ```

crates/ty_python_semantic/resources/mdtest/attributes.md

@@ -26,9 +26,7 @@ class C:
 c_instance = C(1)
 
 reveal_type(c_instance.inferred_from_value)  # revealed: Unknown | Literal[1, "a"]
-
-# TODO: Same here. This should be `Unknown | Literal[1, "a"]`
-reveal_type(c_instance.inferred_from_other_attribute)  # revealed: Unknown
+reveal_type(c_instance.inferred_from_other_attribute)  # revealed: Unknown | Literal[1, "a"]
 
 # There is no special handling of attributes that are (directly) assigned to a declared parameter,
 # which means we union with `Unknown` here, since the attribute itself is not declared. This is
@@ -184,8 +182,7 @@ c_instance = C(1)
 
 reveal_type(c_instance.inferred_from_value)  # revealed: Unknown | Literal[1, "a"]
 
-# TODO: Should be `Unknown | Literal[1, "a"]`
-reveal_type(c_instance.inferred_from_other_attribute)  # revealed: Unknown
+reveal_type(c_instance.inferred_from_other_attribute)  # revealed: Unknown | Literal[1, "a"]
 
 reveal_type(c_instance.inferred_from_param)  # revealed: Unknown | int | None
 

crates/ty_python_semantic/resources/mdtest/call/dunder.md

@@ -204,7 +204,8 @@ class C:
         return str(key)
 
     def f(self):
-        # TODO: This should emit an `invalid-assignment` diagnostic once we understand the type of `self`
+        # TODO: Give a type assinament error instead of a shadowing error
+        # error: [invalid-assignment] "Implicit shadowing of function `__getitem__`"
         self.__getitem__ = None
 
 # This is still fine, and simply calls the `__getitem__` method on the class

crates/ty_python_semantic/resources/mdtest/class/super.md

@@ -278,6 +278,8 @@ class A[T]:
 
 class B[T](A[T]):
     def f(self, b: T) -> T:
+        # TODO: handle typevars in super
+        # error: [invalid-super-argument] "`Self` is not an instance or subclass of `<class 'B'>` in `super(<class 'B'>, Self)` call"
         return super().f(b)
 ```
 

crates/ty_python_semantic/resources/mdtest/descriptor_protocol.md

@@ -170,6 +170,8 @@ def f1(flag: bool):
             attr = DataDescriptor()
 
         def f(self):
+            # TODO: Here we treat attr as if it's a data descriptor. But it should fallback to instance attribute.
+            # error: [invalid-assignment] "Invalid assignment to data descriptor attribute `attr` on type `Self` with custom `__set__` method"
             self.attr = "normal"
 
     reveal_type(C1().attr)  # revealed: Unknown | Literal["data", "normal"]

crates/ty_python_semantic/resources/mdtest/protocols.md

@@ -696,7 +696,8 @@ class Foo(Protocol):
         self.b: int = 128  # TODO: should emit diagnostic
 
     def non_init_method(self) -> None:
-        self.y = 64  # fine
+        # TODO: should be fine
+        self.y = 64  # error: [invalid-assignment] "Object of type `Literal[64]` is not assignable to attribute `y` of type `str`"
         self.c = 72  # TODO: should emit diagnostic
 
 # Note: the list of members does not include `a`, `b` or `c`,