TermiNexus 849001ae9e fix(AssignGen): 禁止注解声明类型被右值继承上转窄化 ...

TPV 侧「注解退化修复」只挡了裸泛型基类降级，漏挡「注解写明基类、右值是派生类」的上转窄化：node: rawptr[AST] = Name(...) 会把 alloca 重建成 Ptr(Name)，随后 node = <返回 rawptr[AST]> 变成被禁止的父→子下转（includes/ast/parser.vp:1919 报 指针隐式转指针已禁止：%AST* → %Name*）。补上与 TPC HandlesAnnAssign._rb_is_upcast 同判据的守卫（复用 ExprGenBase._is_inheritance_upcast）。

2026-09-30 19:08:58 +08:00

..

lib

fix(AssignGen): 禁止注解声明类型被右值继承上转窄化

2026-09-30 19:08:58 +08:00

main.vp

fix(cast): 补继承上转豁免（Derived*→Base* 放行），与 TPC 同口径

2026-09-28 15:29:42 +08:00