Merge branch 'main' into like-protos

Author: srittau

.github/workflows/mypy_primer_comment.yml

@@ -3,7 +3,7 @@ name: mypy_primer (comment)
 on:
   workflow_run:
     workflows:
-      - Run mypy_primer
+      - mypy_primer
     types:
       - completed
 

stdlib/_typeshed/__init__.pyi

@@ -185,7 +185,7 @@ class SupportsGet(Protocol[_KT_contra, _VT_co]):  # type: ignore[misc] # Covaria
     @overload
     def get(self, key: _KT_contra, /) -> _VT_co | None: ...
     @overload
-    def get(
+    def get(  # pyrefly: ignore[invalid-variance]
         self, key: _KT_contra, default: _VT_co, /  # type: ignore[misc] # pyright: ignore[reportGeneralTypeIssues] # Covariant type as parameter
     ) -> _VT_co: ...
     @overload