diff options
| author | bors <bors@rust-lang.org> | 2017-08-04 07:48:07 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2017-08-04 07:48:07 +0000 |
| commit | c523b3f95498cf35a2f1a6bb8c071394ca4a6143 (patch) | |
| tree | d4fd7c4406267b6b403da4708e5d0eeda4168604 /src/rustllvm/RustWrapper.cpp | |
| parent | 5431f423aac345e023815d3f10b8cb840711d756 (diff) | |
| parent | 7d8dc7a979975ab6d8aab29cfa0b69e8a64f1280 (diff) | |
| download | rust-c523b3f95498cf35a2f1a6bb8c071394ca4a6143.tar.gz rust-c523b3f95498cf35a2f1a6bb8c071394ca4a6143.zip | |
Auto merge of #43403 - RalfJung:mir-validate, r=nikomatsakis
Add MIR Validate statement This adds statements to MIR that express when types are to be validated (following [Types as Contracts](https://internals.rust-lang.org/t/types-as-contracts/5562)). Obviously nothing is stabilized, and in fact a `-Z` flag has to be passed for behavior to even change at all. This is meant to make experimentation with Types as Contracts in miri possible. The design is definitely not final. Cc @nikomatsakis @aturon
Diffstat (limited to 'src/rustllvm/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions