Fix CI: pyright type errors in test and strict-no-cover false positive

Author: wiggzz

src/mcp/server/streamable_http.py

@@ -849,7 +849,7 @@ async def _validate_protocol_version(self, request: Request, send: Send) -> bool
         protocol_version = request.headers.get(MCP_PROTOCOL_VERSION_HEADER)
 
         # If no protocol version provided, assume default version
-        if protocol_version is None:  # pragma: no cover
+        if protocol_version is None:  # pragma: lax no cover
             protocol_version = DEFAULT_NEGOTIATED_VERSION
 
         # Check if the protocol version is supported

tests/server/test_streamable_http_manager.py

@@ -8,7 +8,7 @@
 import anyio
 import httpx
 import pytest
-from starlette.types import Message
+from starlette.types import ASGIApp, Message, Receive, Scope, Send
 
 from mcp import Client, types
 from mcp.client.streamable_http import streamable_http_client
@@ -563,15 +563,15 @@ class SSECloseTracker:
     "upstream prematurely closed connection while reading upstream".
     """
 
-    def __init__(self, app: StreamableHTTPASGIApp) -> None:
+    def __init__(self, app: ASGIApp) -> None:
         self.app = app
         self.sse_streams_opened = 0
         self.sse_streams_closed_cleanly = 0
 
-    async def __call__(self, scope: dict[str, Any], receive: Any, send: Any) -> None:
+    async def __call__(self, scope: Scope, receive: Receive, send: Send) -> None:
         is_sse = False
 
-        async def tracking_send(message: dict[str, Any]) -> None:
+        async def tracking_send(message: Message) -> None:
             nonlocal is_sse
             if message["type"] == "http.response.start":
                 for name, value in message.get("headers", []):