diff options
| author | Celina G. Val <celinval@amazon.com> | 2025-01-17 14:49:10 -0800 |
|---|---|---|
| committer | Celina G. Val <celinval@amazon.com> | 2025-02-03 13:55:15 -0800 |
| commit | 2bb1464cb6b46d175f92943cb0f9ab534e6cc6eb (patch) | |
| tree | d40d2600e97c5d55a55f2ab38df73a3ed367037b /compiler/rustc_mir_transform/src/coverage/mod.rs | |
| parent | 804cce47d96d7b30f3798b51a1377c6697011c54 (diff) | |
| download | rust-2bb1464cb6b46d175f92943cb0f9ab534e6cc6eb.tar.gz rust-2bb1464cb6b46d175f92943cb0f9ab534e6cc6eb.zip | |
Improve contracts intrisics and remove wrapper function
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.
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/mod.rs')
0 files changed, 0 insertions, 0 deletions