Fix spurious T0029 when a field reaches an ATF through a type synonym#1028

Open

nanavati wants to merge 12 commits into

B-Lang-org:mainfrom

nanavati:claude/t0029-atf-synonym-regression-mhlsbj

Commits on Jul 8, 2026

Fix #890 by expanding type functions in tiExpl

krame505
authored and
claude
committed
Remove unneeded context

krame505
authored and
claude
committed
Update expected result

krame505
authored and
claude
committed
Re-enable expanding type synonyms in tiField1

krame505
authored and
claude
committed
Revert "Re-enable expanding type synonyms in tiField1"

krame505
authored and
claude
committed
Add Julie's minimal example as a test case

krame505
authored and
claude
committed
For now, only expand synonyms in ctxRedCQType' when expTFun actually did something

krame505
authored and
claude
committed
Revert irrelevant changes to bsc.bluetcl test expected outputs that are being filtered anyway

krame505
authored and
claude
committed
Address PR #916 review: expand type-function expansion tests

krame505
and
claude
committed
Fix spurious T0029 when a field reaches an ATF through a type synonym

nanavati
and
claude
committed
Detect unmatchable ATFs hidden behind type synonyms in instance heads

nanavati
and
claude
committed

Commits on Jul 9, 2026

Address PR #1028 review

nanavati
and
claude
committed