1 // check-pass 2 #![allow(dead_code)] 3 trait DeclarationParser { 4 type Declaration; 5 } 6 7 struct DeclarationListParser<'i, I, P> 8 where P: DeclarationParser<Declaration = I> 9 { 10 input: &'i (), 11 parser: P 12 } 13 main()14 fn main() {} 15