fun with_extended_lifetime<T, E, R>(_ x: T, do action: [E] (T) let -> R) -> R

Returns the result of action applied on a projection of x.