代码优化

当前状态：实现层草案。本文主要记录未来可能采用的编译器优化方向，不代表当前已经承诺的语言语义或实现行为。若与语言级规则发生冲突，应以主规范文档为准。

常量折叠

语义分析器会进行常量折叠，优化常量表达式：

let x = 1 + 2;  // 折叠为 3
let y = 3 * 4;  // 折叠为 12
let z = true && false;  // 折叠为 false

语义分析器会检测死代码：

if false {
    println("never executed");  // 警告：死代码
}

return;
println("never executed");  // 警告：死代码

语义分析器会检测未使用的代码：

let x = 1;  // 警告：未使用的变量

func helper() -> string {  // 警告：未使用的函数
    return "hello";
}

错误处理

当前状态：实现层补充记录。语言级“编译错误 vs 运行时 panic”规则，现阶段应优先参考表达式与语句。本文主要保留为编译器报错实现和错误呈现方式的补充说明。

注释保留

当前状态：实现层补充记录。语言级 /// 和 //! 的关联规则，现阶段应优先参考注释关联规则。本文只保留 CST 保留注释和 LSP 支持相关的实现说明。