trait Trait<'1> { s> {} fn main() {}