为何#[cfg(test)]标注的无效代码仍导致cargo build构建失败？

对如下代码执行cargo build可成功构建：

#[cfg(test)]
mod tests {
    #[test]
    fn func() { 
        let x = 1;
        sss
    }
}

但对如下代码执行cargo build会构建失败：

#[cfg(test)]
mod tests {
    #[test]
    fn func() {
        sss
        let x = 1;
    }
}

报错信息如下：

error: expected `;`, found keyword `let`
 --> src/lib.rs:5:12
  |
5 |         sss
  |            ^ help: add `;` here
6 |         let x = 1;
  |         --- unexpected token

相关教材内容提到：

tests模块上的#[cfg(test)]注解会告知Rust，仅在执行cargo test时编译并运行测试代码，执行cargo build时不会编译该部分代码。

出现这个矛盾的本质是对#[cfg(test)]的生效阶段存在误解，Rust的编译流程是分步骤执行的：

• 第一步是全量语法解析：不管代码块加了什么cfg标记，所有源码都会被先扫描一遍，检查是否符合Rust的基本语法规则，是否能拼接成合法的语法树。这一阶段不关心变量是否存在、函数是否定义，只校验标点、关键字、代码结构是否符合语法要求。
• 语法解析通过后，才会进入cfg条件裁剪、名称解析、类型检查、代码生成等后续步骤：#[cfg(test)]的逻辑就是在这个阶段生效的。执行cargo build时没有开启test配置，编译器会直接把标记了该属性的测试模块整体排除，不做后续任何检查，这也是上述教材描述的实际含义——指的是不做后续的语义检查和机器码生成，并非跳过最基础的语法解析步骤。

两个示例表现差异的说明 #

• 第一个可以成功构建的示例中，sss写在函数的最后一行：Rust语法本身允许函数最后一个位置编写不带分号的表达式作为函数返回值，因此这段代码在语法层面是完全合法的。到了后续cfg裁剪阶段，测试模块被直接排除，编译器根本不会去校验sss这个标识符是否存在、类型是否匹配，自然不会触发报错。
• 第二个构建失败的示例中，sss后面直接跟随let x = 1;语句：按照Rust语法规则，前面的语句必须以分号结尾，这属于语法层面的硬性错误，在第一步全量语法解析阶段就会被检测到，根本走不到cfg条件裁剪的流程，因此会直接抛出构建错误。

内容的提问来源于stack exchange，提问作者realwangliqiu