Cast as

语法

cast 使用 expr as Ty 形式。

语义

as 表示显式类型转换，而不是普通隐式类型统一。

as 只承担显式 conversion / reinterpret boundary，不参与普通推断或隐式协调。

安全的数值收窄/扩宽、表示兼容的转换与底层 capability 边界转换，必须在各自规则允许时显式发生；更危险的转换应进入 unsafe 或专门边界 API。

Usage

let x = 1 as i64
let p = addr as Ptr[u8]

注释：as 是显式边界，不是“编译器替你凑类型”的普通手段。

边界

更细的 cast 矩阵仍可继续拆文档细化；但 level-1 已固定 as 的角色是显式转换，而不是隐式统一补丁。