diff options
| author | Nilstrieb <48135649+Nilstrieb@users.noreply.github.com> | 2023-03-25 10:12:35 +0000 |
|---|---|---|
| committer | Nilstrieb <48135649+Nilstrieb@users.noreply.github.com> | 2023-04-16 15:35:51 +0000 |
| commit | 8f53926232c43aa9d03e88c24460411542a244ed (patch) | |
| tree | 81a6e2907a4e8109b2487aa1979b41b4968a8291 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | d61570ceb6e73b1efa78b5e796cb7cd9c2775c55 (diff) | |
| download | rust-8f53926232c43aa9d03e88c24460411542a244ed.tar.gz rust-8f53926232c43aa9d03e88c24460411542a244ed.zip | |
Alloc `hir::Lit` in an arena to remove the destructor from `Expr`
This allows allocating `Expr`s into a dropless arena, which is useful for using length prefixed thing slices in HIR, since these can only be allocated in the dropless arena and not in a typed arena. This is something I'm working on.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions