summaryrefslogtreecommitdiffstats
path: root/src/test/ui/lifetimes/issue-54378.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/lifetimes/issue-54378.rs')
-rw-r--r--src/test/ui/lifetimes/issue-54378.rs26
1 files changed, 0 insertions, 26 deletions
diff --git a/src/test/ui/lifetimes/issue-54378.rs b/src/test/ui/lifetimes/issue-54378.rs
deleted file mode 100644
index aa42d4a7c..000000000
--- a/src/test/ui/lifetimes/issue-54378.rs
+++ /dev/null
@@ -1,26 +0,0 @@
-// check-pass
-
-// Regression test for #54378.
-
-#![feature(never_type)]
-
-use std::marker::PhantomData;
-
-pub trait Machine<'a, 'mir, 'tcx>: Sized {
- type MemoryKinds: ::std::fmt::Debug + Copy + Eq;
- const MUT_STATIC_KIND: Option<Self::MemoryKinds>;
-}
-
-pub struct CompileTimeEvaluator<'a, 'mir, 'tcx: 'a+'mir> {
- pub _data: PhantomData<(&'a (), &'mir (), &'tcx ())>,
-}
-
-impl<'a, 'mir, 'tcx: 'a + 'mir> Machine<'a, 'mir, 'tcx>
- for CompileTimeEvaluator<'a, 'mir, 'tcx>
-{
- type MemoryKinds = !;
-
- const MUT_STATIC_KIND: Option<!> = None;
-}
-
-fn main() {}