45 lines
732 B
Rust
45 lines
732 B
Rust
pub trait Stream {
|
|
type Item;
|
|
type Error;
|
|
}
|
|
|
|
pub trait ParseError<I> {
|
|
type Output;
|
|
}
|
|
|
|
impl ParseError<char> for u32 {
|
|
type Output = ();
|
|
}
|
|
|
|
impl Stream for () {
|
|
type Item = char;
|
|
type Error = u32;
|
|
}
|
|
|
|
pub struct Lex<'a, I>
|
|
where I: Stream,
|
|
I::Error: ParseError<char>,
|
|
<<I as Stream>::Error as ParseError<char>>::Output: 'a
|
|
{
|
|
x: &'a <I::Error as ParseError<char>>::Output
|
|
}
|
|
|
|
pub struct Reserved<'a, I> where
|
|
I: Stream<Item=char> + 'a,
|
|
I::Error: ParseError<I::Item>,
|
|
<<I as Stream>::Error as ParseError<char>>::Output: 'a
|
|
|
|
{
|
|
x: Lex<'a, I>
|
|
}
|
|
|
|
fn main() {
|
|
let r: Reserved<()> = Reserved {
|
|
x: Lex {
|
|
x: &()
|
|
}
|
|
};
|
|
|
|
let _v = r.x.x;
|
|
}
|