Skip to content

Commit fd688f0

Browse files
olwangclaude
andcommitted
feat(selfhost-checker): add RS0024 (unknown type)
Recursive TypeRef validation over fields, params, and return types with generic-param scope. Known set = 45 hardcoded builtins + the struct/resource Item::Type names preloaded from CORE + STANDARD package .rssi interfaces (mirrors hir.type_info). Corpus-green over 619 files. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
1 parent 6dbc59f commit fd688f0

2 files changed

Lines changed: 313 additions & 2 deletions

File tree

crates/rsscript/src/selfhost_parity.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -503,7 +503,7 @@ fn parser_parity_corpus() {
503503
// ---------------------------------------------------------------------------
504504

505505
/// Diagnostic codes the rss checker is expected to reproduce.
506-
const CHECKER_TARGET_CODES: &[&str] = &["RS0002","RS0003","RS0004","RS0005","RS0006","RS0007","RS0010","RS0011","RS0012","RS0016","RS0017","RS0028","RS0033"];
506+
const CHECKER_TARGET_CODES: &[&str] = &["RS0002","RS0003","RS0004","RS0005","RS0006","RS0007","RS0010","RS0011","RS0012","RS0016","RS0017","RS0024","RS0028","RS0033"];
507507

508508
fn is_target_code(code: &str) -> bool {
509509
CHECKER_TARGET_CODES.contains(&code)

0 commit comments

Comments
 (0)