But this needs to be explicit, and doesn't undermine other statically-known lifetimes (pointers to the inner cell can't escape it). Just like statically typed

But this needs to be explicit, and doesn't undermine other statically-known lifetimes (pointers to the inner cell can't escape it). Just like statically typed languages have some dynamic dispatch features, but despite that still most of their types can be known with certainty.