higher_ranked_assumptions

allow deducing higher-ranked outlives assumptions from coroutines when proving auto traits

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