docs: fill annotation audit gaps in object and type paths

2026-11-15 19:11:16 +08:00
parent 52e62d5839
commit 903b3bbf9d
12 changed files with 36 additions and 1 deletions
@@ -340,6 +340,7 @@ fn failed_nominal_return_releases_value_and_captured_type_roots() {
    let expected = vm
        .new_type("Expected", roots.object, TypeConstructor::Record)
        .unwrap();
+    // 创建与 Expected 同父但身份不同的类型，返回其实例应触发名义返回约束失败。
    let other = vm
        .new_type("Other", roots.object, TypeConstructor::Record)
        .unwrap();