module M {
    struct S {}

    foo() {
        let () = return 0;
        let (x, y) = abort 0;
        let S { f } = loop { };
    }

}