Fix type checking issues from latest pyright (#11)

* avoiding typevar guarding error

* switch to released python 3.12

Author: vassilyl

.github/workflows/CI.yml

@@ -14,7 +14,7 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        python-version: ['3.7', '3.8', '3.9', '3.10', '3.11', '3.12-dev']
+        python-version: ['3.7', '3.8', '3.9', '3.10', '3.11', '3.12']
 
     steps:
     - uses: actions/checkout@v3

.vscode/settings.json

@@ -8,5 +8,4 @@
         "msrc-appconfig-param"
     ],
     "python.testing.pytestEnabled": true,
-    "python.linting.flake8Enabled": true
 }

msrc-appconfig/msrc/appconfig/__init__.py

@@ -1,5 +1,5 @@
 from __future__ import annotations
-from typing import Any, Dict, Generator, List, Mapping, Optional
+from typing import Dict, Generator, List, Mapping, Optional
 from typing import Sequence, Tuple, Type, TypeVar, Union
 """Flexible typed application configuration."""
 import itertools
@@ -38,7 +38,7 @@
     "to_argv"
 ]
 
-AppConfig = TypeVar('AppConfig', bound=Any)
+AppConfig = TypeVar('AppConfig')
 
 
 class _SharedInstance:

msrc-appconfig/msrc/appconfig/read_all.py

@@ -16,7 +16,7 @@
 from msrc.appconfig.read_argv import from_argv as _from_argv
 
 
-AppConfig = ty.TypeVar('AppConfig', bound=ty.Any)
+AppConfig = ty.TypeVar('AppConfig')
 
 
 def gather(

msrc-appconfig/msrc/appconfig/schema.py

@@ -325,7 +325,7 @@ def type_str(self) -> str:
 
 SchemaSource = Tuple[Tuple[str, Element], ...]
 
-AppConfig = TypeVar("AppConfig", bound=Any, covariant=True)
+AppConfig = TypeVar("AppConfig", covariant=True)
 
 
 class Schema(Dict[str, Element], Generic[AppConfig]):

msrc-appconfig/msrc/appconfig_decl/decl_namedtuples.py

@@ -1,6 +1,6 @@
 from __future__ import annotations
 """Provides appconfig support for typing.NamedTuple"""
-from typing import Mapping, NamedTuple, Optional, TYPE_CHECKING
+from typing import Mapping, NamedTuple, Optional, TYPE_CHECKING, cast
 if TYPE_CHECKING:
     from typing_extensions import TypeGuard
 from msrc.appconfig.schema import Element, SchemaSource, interpret_type
@@ -9,8 +9,8 @@
 def is_typed_named_tuple(appconfig: object) -> TypeGuard[NamedTuple]:
     return isinstance(appconfig, type) \
         and issubclass(appconfig, tuple) \
-        and hasattr(appconfig, "_fields") \
-        and hasattr(appconfig, "__annotations__") \
+        and hasattr(cast(object, appconfig), "_fields") \
+        and hasattr(cast(object, appconfig), "__annotations__") \
         and (len(appconfig._fields) ==   # type: ignore
              len(appconfig.__annotations__))