assumptions_on_binders

allow deducing higher-ranked outlives assumptions from all binders (for<'a>)

This feature has no tracking issue, and is therefore likely internal to the compiler, not being intended for general use.