Some who-knows-if-exactly-correct type thrashing for newer pyright.

Refs: microsoft/pyright#9190 (comment)

Author: Julian

noxfile.py

@@ -98,7 +98,7 @@ def typing(session):
     """
     Check static typing.
     """
-    session.install("pyright<1.1.354", ROOT)
+    session.install("pyright", ROOT)
     session.run("pyright", *session.posargs, REFERENCING)
 
 

referencing/_core.py

@@ -557,8 +557,8 @@ def combine(self, *registries: Registry[D]) -> Registry[D]:
             anchors = anchors.update(registry._anchors)
             uncrawled = uncrawled.update(registry._uncrawled)
 
-            if registry._retrieve is not _fail_to_retrieve:
-                if registry._retrieve is not retrieve is not _fail_to_retrieve:
+            if registry._retrieve is not _fail_to_retrieve:  # type: ignore[reportUnnecessaryComparison] ???
+                if registry._retrieve is not retrieve is not _fail_to_retrieve:  # type: ignore[reportUnnecessaryComparison] ???
                     raise ValueError(  # noqa: TRY003
                         "Cannot combine registries with conflicting retrieval "
                         "functions.",
@@ -590,7 +590,11 @@ def resolver_with_root(self, resource: Resource[D]) -> Resolver[D]:
 
 
 #: An anchor or resource.
-AnchorOrResource = TypeVar("AnchorOrResource", AnchorType[Any], Resource[Any])
+AnchorOrResource = TypeVar(
+    "AnchorOrResource",
+    bound=AnchorType[Any] | Resource[Any],
+    default=AnchorType[Any] | Resource[Any],
+)
 
 
 @frozen

referencing/jsonschema.py

@@ -435,7 +435,7 @@ def maybe_in_subresource(
             "properties",
         },
     ),
-    anchors_in=_anchor_2019,  # type: ignore[reportGeneralTypeIssues]  # TODO: check whether this is real
+    anchors_in=_anchor_2019,
     maybe_in_subresource=_maybe_in_subresource_crazy_items(
         in_value={
             "additionalItems",
@@ -478,7 +478,7 @@ def maybe_in_subresource(
         in_subarray={"allOf", "anyOf", "oneOf"},
         in_subvalues={"definitions", "patternProperties", "properties"},
     ),
-    anchors_in=_legacy_anchor_in_dollar_id,  # type: ignore[reportGeneralTypeIssues]  # TODO: check whether this is real
+    anchors_in=_legacy_anchor_in_dollar_id,
     maybe_in_subresource=_maybe_in_subresource_crazy_items_dependencies(
         in_value={
             "additionalItems",
@@ -509,7 +509,7 @@ def maybe_in_subresource(
         in_subarray={"allOf", "anyOf", "oneOf"},
         in_subvalues={"definitions", "patternProperties", "properties"},
     ),
-    anchors_in=_legacy_anchor_in_dollar_id,  # type: ignore[reportGeneralTypeIssues]  # TODO: check whether this is real
+    anchors_in=_legacy_anchor_in_dollar_id,
     maybe_in_subresource=_maybe_in_subresource_crazy_items_dependencies(
         in_value={
             "additionalItems",
@@ -556,7 +556,7 @@ def maybe_in_subresource(
 
 
 _SPECIFICATIONS: Registry[Specification[Schema]] = Registry(
-    {  # type: ignore[reportGeneralTypeIssues]  # :/ internal vs external types
+    {
         dialect_id: Resource.opaque(specification)
         for dialect_id, specification in [
             ("https://json-schema.org/draft/2020-12/schema", DRAFT202012),

referencing/retrieval.py

@@ -14,7 +14,7 @@
     from referencing.typing import URI, D, Retrieve
 
 #: A serialized document (e.g. a JSON string)
-_T = TypeVar("_T")
+_T = TypeVar("_T", default=str)
 
 
 def to_cached_resource(

referencing/typing.py

@@ -5,7 +5,7 @@
 from __future__ import annotations
 
 from collections.abc import Mapping as Mapping
-from typing import TYPE_CHECKING, Protocol, TypeVar
+from typing import TYPE_CHECKING, Any, Protocol, TypeVar
 
 if TYPE_CHECKING:
     from referencing._core import Resolved, Resolver, Resource
@@ -14,7 +14,7 @@
 URI = str
 
 #: The type of documents within a registry.
-D = TypeVar("D")
+D = TypeVar("D", default=Any)
 
 
 class Retrieve(Protocol[D]):