More Lifetimes Lifetimes that depend on other lifetimes 'a: 'b stuff: subtyping Higher ranked trait bounds for<'a> Needed for closures