3 // Regression test for #54378.
5 #![feature(never_type)]
7 use std::marker::PhantomData;
9 pub trait Machine<'a, 'mir, 'tcx>: Sized {
10 type MemoryKinds: ::std::fmt::Debug + Copy + Eq;
11 const MUT_STATIC_KIND: Option<Self::MemoryKinds>;
14 pub struct CompileTimeEvaluator<'a, 'mir, 'tcx: 'a+'mir> {
15 pub _data: PhantomData<(&'a (), &'mir (), &'tcx ())>,
18 impl<'a, 'mir, 'tcx: 'a + 'mir> Machine<'a, 'mir, 'tcx>
19 for CompileTimeEvaluator<'a, 'mir, 'tcx>
23 const MUT_STATIC_KIND: Option<!> = None;