1 files changed, 17 insertions, 0 deletions
diff --git a/tests/ui/consts/min_const_fn/promotion.rs b/tests/ui/consts/min_const_fn/promotion.rs
new file mode 100644
index 000000000..fbe535c71
--- /dev/null
+++ b/tests/ui/consts/min_const_fn/promotion.rs
@@ -0,0 +1,17 @@
+use std::cell::Cell;
+
+const fn foo1() {}
+const fn foo2(x: i32) -> i32 { x }
+const fn foo3() -> i32 { 42 }
+const fn foo4() -> Cell<i32> { Cell::new(42) }
+const fn foo5() -> Option<Cell<i32>> { Some(Cell::new(42)) }
+const fn foo6() -> Option<Cell<i32>> { None }
+
+fn main() {
+    let x: &'static () = &foo1(); //~ ERROR temporary value dropped while borrowed
+    let y: &'static i32 = &foo2(42); //~ ERROR temporary value dropped while borrowed
+    let z: &'static i32 = &foo3(); //~ ERROR temporary value dropped while borrowed
+    let a: &'static Cell<i32> = &foo4();  //~ ERROR temporary value dropped while borrowed
+    let a: &'static Option<Cell<i32>> = &foo5(); //~ ERROR temporary value dropped while borrowed
+    let a: &'static Option<Cell<i32>> = &foo6(); //~ ERROR temporary value dropped while borrowed
+}