blob: 517a172089fe93e720a276ed51e89c822ee557c1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
// build-pass
// compile-flags: -C opt-level=3
#![crate_type = "lib"]
pub trait Archive {
type Archived;
type Resolver;
fn resolve(resolver: Self::Resolver, out: *mut Self::Archived);
}
pub type Archived<T> = <T as Archive>::Archived;
pub type Resolver<T> = <T as Archive>::Resolver;
pub struct Record<'a> {
_payload: &'a [u8],
}
pub struct ArchivedRecord<'a>
where
&'a [u8]: Archive,
{
_payload: Archived<&'a [u8]>,
}
pub struct RecordResolver<'a>
where
&'a [u8]: Archive,
{
_payload: Resolver<&'a [u8]>,
}
impl<'a> Archive for Record<'a>
where
&'a [u8]: Archive,
{
type Archived = ArchivedRecord<'a>;
type Resolver = RecordResolver<'a>;
fn resolve(_resolver: Self::Resolver, _out: *mut Self::Archived) {}
}
|
