rust/library/core/src/contracts.rs, branch perf-tmphttps://github.com/rust-lang/rust
http://git.dreamy.place/mirrors/rust/atom?h=perf-tmp2025-04-10T23:32:56+00:00Apply suggestions from code review2025-04-10T23:32:56+00:00Celina G. Valcelinval@amazon.com2025-04-10T23:32:56+00:00urn:sha1:13f1c845840fa40135fbed8798ec42df4d93b5d3
Co-authored-by: Ralf Jung <post@ralfj.de>Fix unreachable expression warning2025-04-08T17:46:31+00:00Celina G. Valcelinval@amazon.com2025-04-08T00:42:08+00:00urn:sha1:3feac59b794acf326c0efebaabd500e47fc65ba9
Invert the order that we pass the arguments to the
`contract_check_ensures` function to avoid the warning when the tail
of the function is unreachable.
Note that the call itself is also unreachable, but we have already
handled that case by ignoring unreachable call for contract calls.
Enable contracts for const functions2025-04-07T18:17:33+00:00Celina G. Valcelinval@amazon.com2025-02-25T21:24:07+00:00urn:sha1:b9754f9e7bfe2d8eed780962b550a25a87118ce4
Use `const_eval_select!()` macro to enable contract checking only at
runtime. The existing contract logic relies on closures,
which are not supported in constant functions.
This commit also removes one level of indirection for ensures clauses,
however, it currently has a spurious warning message when the bottom
of the function is unreachable.
update `cfg(bootstrap)`2025-02-18T17:32:44+00:00Josh Stonejistone@redhat.com2025-02-18T17:10:45+00:00urn:sha1:3c45324e678d7148d542f08ced5c666dba2e1d60Rename rustc_contract to contract2025-02-03T21:55:15+00:00Celina G. Valcelinval@amazon.com2025-01-31T01:06:09+00:00urn:sha1:ddbf54b67d9befcf1fb90613d2a6f7f6aa03141e
This has now been approved as a language feature and no longer needs
a `rustc_` prefix.
Also change the `contracts` feature to be marked as incomplete and
`contracts_internals` as internal.
Improve contracts intrisics and remove wrapper function2025-02-03T21:55:15+00:00Celina G. Valcelinval@amazon.com2025-01-17T22:49:10+00:00urn:sha1:2bb1464cb6b46d175f92943cb0f9ab534e6cc6eb
1. Document the new intrinsics.
2. Make the intrinsics actually check the contract if enabled, and
remove `contract::check_requires` function.
3. Use panic with no unwind in case contract is using to check for
safety, we probably don't want to unwind. Following the same
reasoning as UB checks.
Separate contract feature gates for the internal machinery2025-02-03T21:55:15+00:00Felix S. Klock IIpnkfelix@pnkfx.org2024-12-03T16:13:00+00:00urn:sha1:6a6c6b891bb0350b3f16abd3e84ff12dbd1b4c5b
The extended syntax for function signature that includes contract clauses
should never be user exposed versus the interface we want to ship
externally eventually.
Desugars contract into the internal AST extensions2025-02-03T21:54:32+00:00Felix S. Klock IIpnkfelix@pnkfx.org2024-12-03T02:52:29+00:00urn:sha1:ae7eff0be5c4abae63c06851af14cfdf7fec3981
Check ensures on early return due to Try / Yeet
Expand these two expressions to include a call to contract checking
contracts: added lang items that act as hooks for rustc-injected code to invoke.2025-02-03T20:54:00+00:00Felix S. Klock IIpnkfelix@pnkfx.org2024-12-02T21:16:35+00:00urn:sha1:777def87d58ee067e1df2e94a99fc099bcb15189
see test for an example of the kind of injected code that is anticipated here.