Correct, but presumably there would be a mechanism to convert the internal ref to an absolute ref with the lifetime of the containing struct. This preserves moving of the struct always being a dumb memcpy, it only prevents you from moving the field out. If we were ever comfortable with a not-just-memcpy for one type, you could make moves of internal refs become absolute refs, but that doesn't seem as rusty as requiring an explicit conversion somewhere.