/* LICENSE BEGIN
    This file is part of the SixtyFPS Project -- https://sixtyfps.io
    Copyright (c) 2021 Olivier Goffart <olivier.goffart@sixtyfps.io>
    Copyright (c) 2021 Simon Hausmann <simon.hausmann@sixtyfps.io>

    SPDX-License-Identifier: GPL-3.0-only
    This file is also available under commercial licensing terms.
    Please contact info@sixtyfps.io for more information.
LICENSE END */

import { StandardButton } from "sixtyfps_widgets.60";

Test := Dialog {
//     ^error{A Dialog must have a single child element that is not StandardButton}
    StandardButton { kind: ok; }
    StandardButton { }
//  ^error{The `kind` property of the StandardButton in a Dialog must be set}
    StandardButton { kind: true ? ok : cancel; }
//                        ^error{The `kind` property of the StandardButton in a Dialog must be known at compile-time}

}