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

import { X } from "../../typeloader/incpath/should_fail2.slint";

export Foo := Rectangle {
    x:= X {
        hello: 42;
        meh: 12;
//      ^error{Unknown property meh in X}
    }
    background: x.blah;
    //            ^error{Element 'X' does not have a property 'blah'}
}
