lifelink (cargo): Erase covariant lifetime parameters from anything, with generic associated types.
Keywords: reference|lifetime|ownership|cryo