[P2] Resolve forward references in the evaluated result

With from __future__ import annotations, from pathlib import Path, and def func(path: "Path"), the signature annotation is "'Path'". _resolve_string_annotation evaluates that once and returns the string "Path", which is passed straight to TypeParser; because its string fallback only recognizes builtins, parse_cli_args(func, ["path=/tmp/x"]) still raises UnknownTypeError. Similarly, evaluating a future annotation such as list["Path"] leaves its inner string unresolved. Continue resolving strings/ForwardRefs in the evaluated annotation, preserving Literal values, and add a regression test that actually enables the future import.

fixed in e3ff804. _resolve_string_annotation now feeds whatever it evaluates back through _maybe_resolve_annotation with a depth cap, so a quoted "'Path'" under future annotations resolves through the extra string layer and list["Path"] resolves the inner ForwardRef. Literal args are skipped by the recursion so Literal["Path"] keeps its string values. added regressions using a module that actually enables from future import annotations (exec'd so the future import applies only to it): the quoted-name case from your report, nested forward refs in a container, Literal preservation, and a dataclass config. the first two fail on the single-evaluation version.

[P2] Preserve module globals in the TYPE_CHECKING retry

With future annotations enabled, from typing import Optional as Opt, and Path imported only under if TYPE_CHECKING:, a parameter annotated Opt[Path] fails the first evaluation because Path is unavailable. This fallback then replaces the namespace with builtins and typing names, losing Opt. Its evaluation also fails, leaving the raw annotation string, so parse_cli_args(func, ["path=/tmp/x"]) raises UnknownTypeError instead of producing a Path. Extend the namespace constructed in step 2 with the resolved TYPE_CHECKING imports rather than rebuilding it, and add a regression using a runtime alias.

fixed in 1352582. both evaluation passes now share one namespace (builtins + typing + module globals), and the retry layers the resolved TYPE_CHECKING names on top of it instead of rebuilding from scratch, so Opt survives while Path becomes available. regression added to the fixture module combining the runtime alias with the TYPE_CHECKING-only import; it fails on 403179a and passes on the new head.