The undefined field access tests only asserted !result.is_empty(), which would pass for any type error—not just UndefinedField. Tests now assert the specific error variant and field name.

Changes

• test_selector_undefined_field_on_closed_record — asserts TypeError::UndefinedField { field: "c", .. }
• test_bracket_access_undefined_field_on_closed_record — asserts TypeError::UndefinedField { field: "missing", .. }

// Before
assert!(!result.is_empty(), "...");

// After
assert!(
    result.iter().any(|e| matches!(e, TypeError::UndefinedField { field, .. } if field == "missing")),
    "..."
);

🔒 GitHub Advanced Security automatically protects Copilot coding agent pull requests. You can protect all pull requests by enabling Advanced Security for your repositories. Learn more about Advanced Security.