module M {
    struct M { }
    public new(): V#Self.M {
        return M{ };
    }
}

//! new-transaction

import {{default}}.M;

main() {
    let x: V#M.M;
    x = M.new();
    return;
}