cairo-lang-semantic 2.18.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
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130

//! > Inlining attribute diagnostics

//! > test_runner_name
test_expr_diagnostics

//! > expr_code
{}

//! > module_code
#[inline(always)]
#[inline(never)]
#[inline(always, never)]
#[inline(1 + 1)]
#[inline]
fn foo() {}

//! > function_body

//! > expected_diagnostics
error[E2141]: Redundant `inline` attribute.
 --> lib.cairo:2:3
#[inline(never)]
  ^^^^^^

error[E2140]: Unsupported `inline` arguments.
 --> lib.cairo:3:9
#[inline(always, never)]
        ^^^^^^^^^^^^^^^

error[E2141]: Redundant `inline` attribute.
 --> lib.cairo:3:3
#[inline(always, never)]
  ^^^^^^

error[E2140]: Unsupported `inline` arguments.
 --> lib.cairo:4:9
#[inline(1 + 1)]
        ^^^^^^^

error[E2141]: Redundant `inline` attribute.
 --> lib.cairo:4:3
#[inline(1 + 1)]
  ^^^^^^

error[E2141]: Redundant `inline` attribute.
 --> lib.cairo:5:3
#[inline]
  ^^^^^^

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

//! > Test that #[inline(always)] is not allowed for a free function with impl generic parameters.

//! > test_runner_name
test_expr_diagnostics

//! > expr_code
{}

//! > module_code
#[inline(always)]
fn foo<impl x: MyTrait>() {}

trait MyTrait;

//! > function_body

//! > expected_diagnostics
error[E2143]: `#[inline(always)]` is not allowed for functions with impl generic parameters.
 --> lib.cairo:1:1
#[inline(always)]
^^^^^^^^^^^^^^^^^

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

//! > Test that #[inline(always)] is not allowed for an impl function with impl generic parameters.

//! > test_runner_name
test_expr_diagnostics

//! > expr_code
{}

//! > module_code
trait MyTrait {
    fn foo<impl y: MyTrait2>();
}
impl MyImpl of MyTrait {
    #[inline(always)]
    fn foo<impl y: MyTrait2>() {}
}
trait MyTrait2;

//! > function_body

//! > expected_diagnostics
error[E2143]: `#[inline(always)]` is not allowed for functions with impl generic parameters.
 --> lib.cairo:5:5
    #[inline(always)]
    ^^^^^^^^^^^^^^^^^

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

//! > Test that 'inline' attribute is not allowed for extern functions.

//! > test_runner_name
test_expr_diagnostics

//! > expr_code
{}

//! > module_code
#[inline(always)]
extern fn foo() nopanic;

#[inline(never)]
extern fn bar() nopanic;

//! > function_body

//! > expected_diagnostics
error[E2142]: `inline` attribute is not allowed for extern functions.
 --> lib.cairo:1:1
#[inline(always)]
^^^^^^^^^^^^^^^^^

error[E2142]: `inline` attribute is not allowed for extern functions.
 --> lib.cairo:4:1
#[inline(never)]
^^^^^^^^^^^^^^^^