TermiNexus
d979cc8c1f
fix(TPV/ExprGenName): 结构体值局部变量在使用处要求同型结构体值时 load 出值
现场：Test/WebTest 编译 includes/socket.vp:121 报
CastError: 非基本类型的值/指针隐式转换已禁止（构造物化除外）：
不能把指针类型隐式转为非基本类型值（Foo* → Foo）
源类型 %"56d0ee99ecf0a0b5.SocketAddr"* → 目标值类型 %"56d0ee99ecf0a0b5.SocketAddr"
现场代码：
class SocketAddr: family: u16 / port: u16 / addr: u32 / zero: u64 # 纯结构体，无 __new__、无方法
def _MakeAddr(host: str, port: INT) -> SocketAddr:
addr: SocketAddr # 结构体值局部变量
string.memset(c.Addr(addr), 0, 16)
...
return addr # ← 第 121 行报错
根因：ExprGenName.translate_name_value 对"结构体值局部变量"的右值**恒返回 alloca 地址**
（原实现，注释解释为"对象即指针"语义，避免 ptrtoint %Struct 非法指令）；而 _MakeAddr
的返回类型经 resolve_annotation_type 解析为**结构体值**。translate_return 会把函数返回
类型作为 target_ty 下传给 translate_value（StmtGenCifMixin.vp:557-558），于是 `addr`
求值出 %SocketAddr* → coerce_to_type 的"指针 → 非基本类型值"分支
（ExprGenBase.vp:954-970）只对"构造物化"豁免 → 报错。
标量局部变量无此问题（同函数内非 Struct 分支会 build_load 出值），属结构体值局部变量
独有的表示差异。
改动：ExprGenName.translate_name_value 的 Struct 分支增加 target_ty 判据——使用处
**明确要求同一非基本类型（非指针）**时（_same_agg_ty 判据：与"构造物化豁免"同一类型
匹配真源 AssignGen._stg_ty_equal），像标量一样 build_load 出值；否则维持既有"返回地址"。
- target_ty 为指针时不命中（裸类形参 lowering 为 Ptr(struct)，见 FuncGenDef）⇒
Test/StructTest 的 point_sum(p) 这类实参传址行为不变。
- 字段访问基座（ExprGenAttr.vp:743-744，直接 lookup_var 取地址）、c.Addr 取址
（CallGenCBuiltin.vp:293）、方法接收者均不经本函数取地址，不受影响。
- 同时修正该处已失真的注释（原文举例 `x: Cls | t.CPtr` 实际解析为 Ptr(struct)，
并非 Struct 值局部变量）。
待验证：重编译 TransPyV（自举两遍）→ WebTest / StructTest / ClassArrayTest / JsonTest。