//# publish module 0x1.M { struct T has drop { b: u64, a: u64 } public error(code: u64): u64 { label b0: abort(move(code)); return 0; } public new(): Self.T { label b0: return T { b: Self.error(42), a: Self.error(100) }; } } //# run import 0x1.M; main() { let m: M.T; label b0: m = M.new(); return; }