| warning: reborrow of a reference to `extern type` is not properly supported |
| --> tests/pass/extern_types.rs:LL:CC |
| | |
| LL | let x: &Foo = unsafe { &*(ptr::without_provenance::<()>(16) as *const Foo) }; |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ reborrow of reference to `extern type` |
| | |
| = help: `extern type` are not compatible with the Stacked Borrows aliasing model implemented by Miri; Miri may miss bugs in this code |
| = help: try running with `MIRIFLAGS=-Zmiri-tree-borrows` to use the more permissive but also even more experimental Tree Borrows aliasing checks instead |
| |
