On recent main, this test case fails verification with
```
SIL memory lifetime failure in @$s4main4doityyF: memory is not initialized, but should be
memory location: %21 = struct_element_addr %20 : $*M4, #M4.s2 // user: %23
at instruction: %23 = apply %22(%19, %21) : $@convention(thin) (@inout S, @inout S) -> ()
[...]
4. While running pass #173 SILFunctionTransform "MoveOnlyChecker" on SILFunction "@$s4main4doityyF".
for 'doit()' (at test/Interpreter/moveonly_reinit_noncontiguous.swift:32:1)
```
