// Copyright © SixtyFPS GmbH // SPDX-License-Identifier: (GPL-3.0-only OR LicenseRef-SixtyFPS-commercial) TestCase := Rectangle { states [ checked when true: { foo } // ^error{Syntax error: expected ':'} ] }