resolve type aliases

[benedikt-bartscher]

[greptile-apps]

Greptile Summary

The PR teaches Var.guess_type to resolve native and backported TypeAliasType annotations, including generic, variadic, and union-nested aliases.

• Adds type-alias unwrapping and generic-parameter substitution utilities.
• Re-runs type inference with the resolved annotation.
• Adds regression coverage under the source-corresponding tests/units/reflex_base/vars/ path.

Confidence Score: 5/5

The PR appears safe to merge because the previous test-location issue is fixed and no blocking failure remains.

No blocking failure remains.

Important Files Changed

Filename	Overview
packages/reflex-base/src/reflex_base/utils/types.py	Adds helpers for resolving bare, parameterized, variadic, and union-nested type aliases.
packages/reflex-base/src/reflex_base/vars/base.py	Resolves aliases before the existing Var.guess_type dispatch.
tests/units/reflex_base/vars/test_base.py	Adds regression tests in the source-corresponding reflex-base test location, resolving the prior review finding.
packages/reflex-base/news/6944.bugfix.md	Documents support for resolving type-alias annotations during variable type inference.

_{Reviews (7): Last reviewed commit: "Merge branch 'main' into allow-typevar-r..." | Re-trigger Greptile}

[codspeed-hq]

Merging this PR will not alter performance

✅ 27 untouched benchmarks
⏩ 8 skipped benchmarks¹

---

_{Comparing benedikt-bartscher:allow-typevar-resolution (736afb2) with main (dfb4ef0)}

Footnotes

1. 8 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports. ↩

[cubic-dev-ai]

All reported issues were addressed across 4 files

<sub>Reply with feedback, questions, or to request a fix.

Re-trigger cubic</sub>

[cubic-dev-ai]

All reported issues were addressed across 3 files (changes from recent commits).

<sub>Reply with feedback, questions, or to request a fix.

Re-trigger cubic</sub>