Commit be6fa09
feat(selfhost-checker): add RS0014/RS0018/RS0019 (runtime-guarantee bodies)
Wire the runtime-guarantee body probes into the gate:
- RS0014: an effects(noalloc) fn that constructs a value (unqualified call
to a declared type) or uses `manage`.
- RS0018 / RS0019: an effects(no_block) / effects(no_panic) fn making an
unqualified call to a user function that does not carry the same
guarantee (constructors, enum variants, and same-guarantee callees are
allowed). Mirrors check_runtime_guarantee_*; the qualified-stdlib-call
cases have no corpus fixtures.
Corpus checker_parity_corpus: 619/619 byte-exact, 0 mismatches.
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>1 parent 3ad62a2 commit be6fa09
1 file changed
Lines changed: 1 addition & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
503 | 503 | | |
504 | 504 | | |
505 | 505 | | |
506 | | - | |
| 506 | + | |
507 | 507 | | |
508 | 508 | | |
509 | 509 | | |
| |||
0 commit comments