chore - add generated Rust quality gates and async method coverage (#599, #600, #601, #602, #603, #607)#608
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Adds the generated Rust quality baseline slice for #599-#603 and folds in the #607 async Rust method boundary fix. The PR adds artifact-level generated Rust fixture baselines, stdlib generated Rust snapshots, a strict generated Rust audit runner/gate, clone/allocation hot-path coverage, and package-facing Rust-hosted callability coverage. It also teaches Rust-backed async methods to type as awaitables until awaited and verifies the emitted call includes
.await.Closes #599
Closes #600
Closes #601
Closes #602
Closes #603
Closes #607
Type of change
docs/RFCs/*)Area(s)
Select the primary areas touched (used for review routing; labels are managed separately):
Key details
Awaitable[T]semantics until explicitly awaited.make generated-rust-audit-gate; reduces unnecessary generated clone/collection shapes in covered hot paths; extends Rust async metadata handling in typechecking/codegen.Testing / verification
make test/cargo testmake examples(if relevant)incan fmt --check .(if relevant)Manual verification notes:
cargo fmt --allcargo test --test generated_rust_callability_artifact_testscargo test --test generated_rust_artifact_testscargo test --test generated_rust_audit_testscargo test --test generated_rust_native_consumer_testscargo test --test stdlib_generated_rust_snapshot_testscargo test --test codegen_snapshot_testscargo test --lib rust_async_method_call --features rust_inspectcargo test --lib test_codegen_awaits_async_rust_backed_method_from_metadata --features rust_inspectcargo test --lib async_rust --features rust_inspectcargo test --lib validate_rust_function_call --features rust_inspectcargo test --lib --features rust_inspect -- --test-threads=1make generated-rust-audit-gatepython -m mkdocs build --strictfromworkspaces/docs-sitegit diff --check origin/main..HEADmake pre-commitDocs impact
If docs updated:
workspaces/docs-site/docs/contributing/explanation/generated_rust_quality.md,workspaces/docs-site/docs/contributing/how-to/auditing_generated_rust.md,workspaces/docs-site/docs/contributing/reference/generated_rust_stdlib_coverage.md,workspaces/docs-site/docs/RFCs/097_rust_hosted_incan_caller.md,workspaces/docs-site/docs/release_notes/0_3.mdChecklist