TermiNexus
aa1c84a326
Validation / Typecheck (push) Has been cancelled
Validation / Style (push) Has been cancelled
Validation / Test macos-latest (push) Has been cancelled
Validation / Test ubuntu-latest (push) Has been cancelled
Validation / Test windows-latest (push) Has been cancelled
Validation / Build (push) Has been cancelled
Validation / Required (push) Has been cancelled
- typedef：新增 `typedef T1 = T2` 软关键字语句，与 `T1: t.CTypedef = T2` 完全等价。 解析层脱糖为同形「带注解赋值」（合成零长 t.CTypedef 紧贴别名名之后，满足 AST 子节点位置递增不重叠的不变量），绑定/类型求值/hover/语义高亮全部复用 既有 TypeAlias 通路，且不要求文件 import t（合成 t 标记 isViperTypedef， 未导入时静默退化，与 [SIZE]T 脱糖同一取舍）。仅 `typedef <Name> =` 形状生效， `typedef = 1` / `typedef(x)` 行为不变 - 高亮：viper.tmLanguage.json 为 typedef 增加 storage.type 规则（带 `\s+Name\s*=` 前瞻，避免误伤赋值）；语义高亮无需改动（合成名零长，被既有过滤跳过） - 强转：`(T)x` 与 `(T*)x` 统一按「括号内为类型原子 + 紧跟操作数起点」归一为 Call，等价既有 T(x) 通路；`(T*)[i]` 仍是下标、`(a)*b` 仍是乘法 - 回归用例：viperBuiltinsVpTypedef.test.ts 新增 typedef 3 例（含不 import t 与 typedef 作普通标识符），viperUnaryPointer.test.ts 新增 (T)x 2 例 - 版本号提升至 1.1.425 并更新 CHANGELOG；全量 57 套件 / 764 用例全绿（0 失败）