_selftest/test_error.rs · 3428 字节 · 下载原文

// test_error.rs —— VML 诊断自测用例（**故意含错，不参与编译通过性检查**）

// test_error.rs -- VML diagnostic self-test case (**deliberately contains errors, not part of the compile-cleanliness check**)

//

// 用途：验证编译器的错误/警告输出、诊断列表、以及编辑器能否显示气泡。

// Purpose: verify the compiler's error/warning output, the diagnostic list, and whether the editor can show a squiggle.

// 预期：1 个错误、**0 个警告**（详见下）。

// Expected: 1 error, **0 warnings** (see below).

// 约束：确定性 —— 无随机数、不读文件、不交互、无死循环；错误来自源码本身。

// Constraints: deterministic -- no randomness, no file reads, no interaction, no infinite loops; the error comes from the source itself.

//

// ⚠ `unused_var` 是刻意留的「未使用变量」探针。Rust 前端不报未使用变量

// ⚠ `unused_var` is a deliberately kept "unused variable" probe. The Rust frontend does not report unused variables

//   （`WarnUnused` 只有 CCompiler 在调），因此本文件只产 1 条错误。

//   (`WarnUnused` is called only by CCompiler), so this file produces only 1 error.

//   与真正的 rustc 相反：本前端**不查未使用、也不查借用**，只查未声明的变量

//   In contrast to the real rustc: this frontend **checks neither unused nor borrows**, only undeclared variables

//   （`Visit(IdentifierNode)` 的最后一条兜底分支 → `ReportUndefined`）。

//   (the last fallback branch of `Visit(IdentifierNode)` -> `ReportUndefined`).

// ⚠ Rust 是这五门里**唯一**既能定位（文件:行:列）又带诊断码（[CodeGen_UndefinedVariable]）

// ⚠ Rust is the **only** one of these five that both locates (file:line:col) and carries a diag-code ([CodeGen_UndefinedVariable])

//   的一门 —— 代码生成期的错误会先收集、再由 `BuildProgram` 一次性抛出。

//   -- code-generation-time errors are collected first and then thrown all at once by `BuildProgram`.

// ⚠ 未声明的名字**必须出现在普通表达式里**（下面 `let x = undefined_thing;`）才报得出来：

// ⚠ An undeclared name **must appear in an ordinary expression** (the `let x = undefined_thing;` below) to be reported:

//   写成 `println!("{}", undefined_thing)` 实测**静默编过** —— 格式实参走的是

//   writing `println!("{}", undefined_thing)` measures as **compiling silently** -- format arguments go through

//   `FormatHelpers` 另一条路，不做标识符查找（那是本前端的一处漏检，不是本文件的错）。

//   a different path, `FormatHelpers`, which does no identifier lookup (that is a missed check in this frontend, not a fault of this file).

//   ↳ 2026-10-04 复验仍成立：本文件仍是 1 个错误 / 0 个警告。

//     Re-checked 2026-10-04: still 1 error / 0 warnings.

//     `println!("{}", undefined_thing)` 确实编过，跑起来才在运行时报「找不到变量」。

//     `println!("{}", undefined_thing)` does compile, and only at run time reports "variable not found".

fn main() {
    let unused_var = 5;
    let total = 0;
    println!("{}", total);
    let x = undefined_thing;   // error: 未声明的变量 [CodeGen_UndefinedVariable]

    // error: undeclared variable [CodeGen_UndefinedVariable]

    println!("{}", x);
}