about summary refs log tree commit diff
path: root/src/test/ui/inline-const/const-expr-lifetime.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/inline-const/const-expr-lifetime.rs')
-rw-r--r--src/test/ui/inline-const/const-expr-lifetime.rs35
1 files changed, 0 insertions, 35 deletions
diff --git a/src/test/ui/inline-const/const-expr-lifetime.rs b/src/test/ui/inline-const/const-expr-lifetime.rs
deleted file mode 100644
index d883deb2845..00000000000
--- a/src/test/ui/inline-const/const-expr-lifetime.rs
+++ /dev/null
@@ -1,35 +0,0 @@
-// run-pass
-
-#![feature(const_mut_refs)]
-#![feature(inline_const)]
-
-use std::marker::PhantomData;
-
-// rust-lang/rust#78174: ICE: "cannot convert ReErased to a region vid"
-fn issue_78174() {
-    let foo = const { "foo" };
-    assert_eq!(foo, "foo");
-}
-
-pub struct InvariantRef<'a, T: ?Sized>(&'a T, PhantomData<&'a mut &'a T>);
-
-impl<'a, T: ?Sized> InvariantRef<'a, T> {
-    pub const fn new(r: &'a T) -> Self {
-        InvariantRef(r, PhantomData)
-    }
-}
-
-fn get_invariant_ref<'a>() -> InvariantRef<'a, ()> {
-    const { InvariantRef::<'a, ()>::new(&()) }
-}
-
-fn get_invariant_ref2<'a>() -> InvariantRef<'a, ()> {
-    // Try some type inference
-    const { InvariantRef::new(&()) }
-}
-
-fn main() {
-    issue_78174();
-    get_invariant_ref();
-    get_invariant_ref2();
-}