CobaltC：借鉴 Rust 所有权模型的安全 C 后继语言

CobaltC 是一门采用 C 系表面语法的系统编程语言，将所有权、生命周期、别名与可变性等不变量嵌入类型系统，由编译器强制检查而非依赖程序员约定。示例中"分配—别名—释放—使用"的 C 程序在 CobaltC 中会在运行前被拒绝，并给出 diag.destroy-while-aliased 诊断；同时它允许指向同一数组不同元素的多个可变引用。