Higher-ranked trait bound

A for-lifetime bound requiring a trait relationship to hold for every suitable lifetime.

Used in