remove now-resolved # pyrefly: ignore comments

Author: jorenham

optype/_core/_can.py

@@ -234,7 +234,7 @@ def __dir__() -> list[str]:
 # we can't use `CanIndex` here, because of a recent regression in pyright 1.1.392
 _IndexT_contra = TypeVar(
     "_IndexT_contra",
-    bound=SupportsIndex | slice,  # pyrefly: ignore[invalid-annotation]
+    bound=SupportsIndex | slice,
     contravariant=True,
 )
 

tests/test_inspect.py

@@ -309,9 +309,7 @@ def test_is_union_type(origin: type) -> None:
     Alias: TypeAliasType = TypeAliasType("Alias", origin | None)  # noqa: N806  # pyright: ignore[reportGeneralTypeIssues]
     assert op.inspect.is_union_type(Alias)
 
-    # pyrefly: ignore[not-a-type]
     assert op.inspect.is_union_type(tp.Annotated[origin | None, None])
-    # pyrefly: ignore[not-a-type]
     assert op.inspect.is_union_type(tp.Annotated[origin, None] | None)
 
     assert not op.inspect.is_union_type(origin)