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) {}
}
|