define
fun defineIntersection(lifetime1: Lifetime, lifetime2: Lifetime): LifetimeDefinition
Content copied to clipboard
Creates an intersection of some lifetimes: new lifetime that terminate when either one terminates. Created lifetime inherits the smallest terminationTimeoutKind