diff options
| author | clubby789 <jamie@hill-daniel.co.uk> | 2023-02-27 01:32:07 +0000 |
|---|---|---|
| committer | clubby789 <jamie@hill-daniel.co.uk> | 2023-03-02 02:42:19 +0000 |
| commit | d84576955713d223c0c4752dab9111085033c78b (patch) | |
| tree | a3700bffff00a0eef54566e08082e29a7699b545 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | c4e0cd966062ca67daed20775f4e8a60c28e57df (diff) | |
| download | rust-d84576955713d223c0c4752dab9111085033c78b.tar.gz rust-d84576955713d223c0c4752dab9111085033c78b.zip | |
Restrict `#[rustc_box]` to `Box::new` calls
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions