// Copyright © SixtyFPS GmbH <info@sixtyfps.io>
// SPDX-License-Identifier: (GPL-3.0-only OR LicenseRef-SixtyFPS-commercial)

import { SomeRect } from "../../typeloader/incpath/local_helper_type.slint";

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

Blah := X {
    width: 100px;
//  ^error{Unknown property width in X}
}