resolve type aliases

[benedikt-bartscher]

[greptile-apps]

Greptile Summary

The PR adds resolution of bare, parameterized, variadic, and union-nested type aliases before Var.guess_type selects a specialized reactive variable.

• Adds helpers for matching generic and variadic alias parameters.
• Re-runs type inference using the resolved alias value.
• Moves and expands alias regression tests under the source-corresponding reflex_base test suite.

Confidence Score: 5/5

The PR appears safe to merge.

No blocking failure remains.

Important Files Changed

Filename	Overview
packages/reflex-base/src/reflex_base/utils/types.py	Adds recursive TypeAliasType unwrapping and generic parameter substitution, including TypeVarTuple handling.
packages/reflex-base/src/reflex_base/vars/base.py	Resolves aliases before existing Var.guess_type dispatch.
tests/units/reflex_base/vars/test_base.py	Places alias regression tests at the source-corresponding path requested by the previous review thread and covers bare, generic, variadic, optional, and state-field aliases.
packages/reflex-base/news/6944.bugfix.md	Documents the newly supported type-alias forms and prior compilation failure.

_{Reviews (6): 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 (573a14a) with main (d3a17c7)}

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>