Trait Bounds on Lifetimes

Create trait bounds that enforce specific lifetime relationships between implemented types.