diff options
| author | Michael Goulet <michael@errs.io> | 2023-06-16 12:53:22 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-16 12:53:22 -0700 |
| commit | 38fc6be325f57e6e149bc2b60985870d48280018 (patch) | |
| tree | 98d25201d17e038df5ac49bf46a47da086689eeb /compiler/rustc_codegen_cranelift/example/alloc_example.rs | |
| parent | 3eb8c2ae10cb47a99e7f9baed9158cedc783536f (diff) | |
| parent | dc3e91c6c2e3d5ae2287fd8332ecb6b7b7cee743 (diff) | |
| download | rust-38fc6be325f57e6e149bc2b60985870d48280018.tar.gz rust-38fc6be325f57e6e149bc2b60985870d48280018.zip | |
Rollup merge of #112662 - Vanille-N:symbol_unique, r=RalfJung
`#[lang_item]` for `core::ptr::Unique`
Tree Borrows is about to introduce experimental special handling of `core::ptr::Unique` in Miri to give it a semantics.
As of now there does not seem to be a clean way (i.e. other than `&format!("{adt:?}") == "std::ptr::Unique"`) to check if an `AdtDef` represents a `Unique`.
r? `@RalfJung`
Draft: making a lang item
Diffstat (limited to 'compiler/rustc_codegen_cranelift/example/alloc_example.rs')
0 files changed, 0 insertions, 0 deletions