cairo-lang-semantic 2.21.0

Cairo semantic model.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103

//! > Unknown types in trait/impl methods.

//! > test_runner_name
test_function_diagnostics(expect_diagnostics: true)

//! > cairo_code
trait MyTrait {
    fn foo(x: u8, y: T, z: u8) -> u8;
    fn bar() -> T;
}

impl MyImpl of MyTrait {
    fn foo(x: T, y: u8, z: u16) -> T {}
    fn bar() -> u8 {
        0
    }
}

//! > expected_diagnostics
error[E0006]: Type not found.
 --> lib.cairo:2:22
    fn foo(x: u8, y: T, z: u8) -> u8;
                     ^

error[E0006]: Type not found.
 --> lib.cairo:3:17
    fn bar() -> T;
                ^

error[E0006]: Type not found.
 --> lib.cairo:7:15
    fn foo(x: T, y: u8, z: u16) -> T {}
              ^

error[E0006]: Type not found.
 --> lib.cairo:7:36
    fn foo(x: T, y: u8, z: u16) -> T {}
                                   ^

error[E2031]: Parameter type of impl function `MyImpl::foo` is incompatible with `MyTrait::foo`. Expected: `u8`, actual: `u16`.
 --> lib.cairo:7:28
    fn foo(x: T, y: u8, z: u16) -> T {}
                           ^^^

//! > ==========================================================================

//! > Impl provides associated type/const/impl items each with the wrong kind (cross-kind collision).

//! > test_runner_name
test_function_diagnostics(expect_diagnostics: true)

//! > cairo_code
trait OtherTrait<T> {
    fn method(x: T) -> T;
}

impl OtherImpl of OtherTrait<felt252> {
    fn method(x: felt252) -> felt252 {
        x
    }
}

trait MyTrait {
    type AsType;
    const AsConst: felt252;
    impl AsImpl: OtherTrait<felt252>;
}

impl MyImpl of MyTrait {
    const AsType: felt252 = 5;
    type AsConst = felt252;
    type AsImpl = felt252;
}
fn foo() -> MyImpl::AsType {
    let _c = MyImpl::AsConst;
    MyImpl::AsImpl::method(0)
}

//! > expected_diagnostics
error[E2014]: Impl item type `MyImpl::AsConst` is not a member of trait `MyTrait`.
 --> lib.cairo:19:5
    type AsConst = felt252;
    ^^^^^^^^^^^^^^^^^^^^^^^

error[E2014]: Impl item type `MyImpl::AsImpl` is not a member of trait `MyTrait`.
 --> lib.cairo:20:5
    type AsImpl = felt252;
    ^^^^^^^^^^^^^^^^^^^^^^

error[E2014]: Impl item const `MyImpl::AsType` is not a member of trait `MyTrait`.
 --> lib.cairo:18:5
    const AsType: felt252 = 5;
    ^^^^^^^^^^^^^^^^^^^^^^^^^^

error[E2311]: Trait has no implementation in context: MyTrait.
 --> lib.cairo:22:1
fn foo() -> MyImpl::AsType {
^^^^^^^^^^^^^^^^^^^^^^^^^^

error[E2042]: Unexpected return type. Expected: "MyImpl::AsType", found: "felt252".
 --> lib.cairo:24:5
    MyImpl::AsImpl::method(0)
    ^^^^^^^^^^^^^^^^^^^^^^^^^