// Copyright © SixtyFPS GmbH <info@slint.dev>
// SPDX-License-Identifier: GPL-3.0-only OR LicenseRef-Slint-Royalty-free-1.2 OR LicenseRef-Slint-commercial

export SuperSimple := Rectangle {
    background: area.pressed ? green : blue;
    property<color> c2: area.pressed ? 123 : 456;
//                      ^error{Cannot convert float to color}

    property<int> c3: area.pressed ? 123 : #456;
//                                         ^error{Cannot convert color to float}
//                    ^^error{Cannot convert void to int}

    property<int> c4: area.pressed ? 123ms : 123;
//                                           ^error{Cannot convert float to duration}
//                    ^^error{Cannot convert void to int}

    property <length> c5: true ? 123px : 0;

    property<duration> c6: area.pressed ? 123ms : 123;
//                                                ^error{Cannot convert float to duration}
//                         ^^error{Cannot convert void to duration}


    area := TouchArea {
    }
}


export Test2 := Rectangle {
    background: {
//              ^error{Cannot convert void to brush}
        if (true) {
        } else {
            blue;
        }
    }

    x: { if (false) {0}; }
//     ^error{Cannot convert void to length}
    y: { if (false) {0px} else { return 5px; }; }
    property<length> something: { if (true) {"hello"} else { return 5px; }; }
    //                          ^error{Cannot convert string to length}
}
