diff options
Diffstat (limited to 'src/test/ui/mir/ssa-analysis-regression-50041.rs')
-rw-r--r-- | src/test/ui/mir/ssa-analysis-regression-50041.rs | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/src/test/ui/mir/ssa-analysis-regression-50041.rs b/src/test/ui/mir/ssa-analysis-regression-50041.rs new file mode 100644 index 000000000..ebc3e2f8c --- /dev/null +++ b/src/test/ui/mir/ssa-analysis-regression-50041.rs @@ -0,0 +1,36 @@ +// build-pass +// compile-flags: -Z mir-opt-level=4 + +#![crate_type = "lib"] +#![feature(lang_items)] +#![no_std] + +struct NonNull<T: ?Sized>(*const T); + +struct Unique<T: ?Sized>(NonNull<T>); + +#[lang = "owned_box"] +pub struct Box<T: ?Sized>(Unique<T>); + +impl<T: ?Sized> Drop for Box<T> { + fn drop(&mut self) {} +} + +#[lang = "box_free"] +#[inline(always)] +unsafe fn box_free<T: ?Sized>(ptr: Unique<T>) { + dealloc(ptr.0.0) +} + +#[inline(never)] +fn dealloc<T: ?Sized>(_: *const T) {} + +pub struct Foo<T>(T); + +pub fn foo(a: Option<Box<Foo<usize>>>) -> usize { + let f = match a { + None => Foo(0), + Some(vec) => *vec, + }; + f.0 +} |