| 1 | // Copyright © SixtyFPS GmbH <info@slint.dev> |
|---|
| 2 | // SPDX-License-Identifier: GPL-3.0-only OR LicenseRef-Slint-Royalty-free-2.0 OR LicenseRef-Slint-Software-3.0 |
|---|
| 3 | |
|---|
| 4 | import { Bug } from "../../typeloader/incpath/bug_3674_alias_from_invalid_import.slint" ; |
|---|
| 5 | |
|---|
| 6 | export component Test { |
|---|
| 7 | out property t1 <=> b.foo; |
|---|
| 8 | // ^error{Element 'Bug' does not have a property 'foo'} |
|---|
| 9 | // ^^error{Could not infer type of property 't1'} |
|---|
| 10 | out property t2 <=> b.bar; |
|---|
| 11 | |
|---|
| 12 | callback t3 <=> b.bar; |
|---|
| 13 | // ^error{Binding to callback 't3' must bind to another callback} |
|---|
| 14 | out property t4 <=> b.xxx; |
|---|
| 15 | // ^error{Element 'Bug' does not have a property 'xxx'} |
|---|
| 16 | // ^^error{Could not infer type of property 't4'} |
|---|
| 17 | out property t5 <=> b.xyz; |
|---|
| 18 | // ^error{Element 'Bug' does not have a property 'xyz'} |
|---|
| 19 | // ^^error{Could not infer type of property 't5'} |
|---|
| 20 | out property<int> t6 <=> b.foo; |
|---|
| 21 | // ^error{Element 'Bug' does not have a property 'foo'} |
|---|
| 22 | b := Bug {} |
|---|
| 23 | } |
|---|
| 24 | |
|---|
