]>
Commit | Line | Data |
---|---|---|
923072b8 FG |
1 | // check-pass |
2 | ||
3 | // Regression test for #54378. | |
4 | ||
5 | #![feature(never_type)] | |
6 | ||
7 | use std::marker::PhantomData; | |
8 | ||
9 | pub trait Machine<'a, 'mir, 'tcx>: Sized { | |
10 | type MemoryKinds: ::std::fmt::Debug + Copy + Eq; | |
11 | const MUT_STATIC_KIND: Option<Self::MemoryKinds>; | |
12 | } | |
13 | ||
14 | pub struct CompileTimeEvaluator<'a, 'mir, 'tcx: 'a+'mir> { | |
15 | pub _data: PhantomData<(&'a (), &'mir (), &'tcx ())>, | |
16 | } | |
17 | ||
18 | impl<'a, 'mir, 'tcx: 'a + 'mir> Machine<'a, 'mir, 'tcx> | |
19 | for CompileTimeEvaluator<'a, 'mir, 'tcx> | |
20 | { | |
21 | type MemoryKinds = !; | |
22 | ||
23 | const MUT_STATIC_KIND: Option<!> = None; | |
24 | } | |
25 | ||
26 | fn main() {} |