cairo-lang-semantic 2.19.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

//! > Path via crate does not double-encode the crate name.

//! > test_runner_name
test_path_diagnostics(expect_diagnostics: true)

//! > crate_settings
edition = "2024_07"

//! > module_code
mod provider1 {
    pub trait T {
        fn foo(self: @felt252);
    }
    impl I of T {
        fn foo(self: @felt252) {}
    }
}
mod provider2 {
    pub trait T {
        fn foo(self: @felt252);
    }
    impl I of T {
        fn foo(self: @felt252) {}
    }
}
mod caller {
    use crate::provider1::*;
    use crate::provider2::*;
    fn go() {
        let x = 1_felt252;
        x.foo();
    }
}

//! > expected_diagnostics
error[E2046]: Ambiguous method call. More than one applicable trait function with a suitable self type was found: crate::provider1::T::foo and crate::provider2::T::foo. Consider adding type annotations or explicitly refer to the impl function.
 --> lib.cairo:22:11
        x.foo();
          ^^^

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

//! > Ambiguous trait function via glob use

//! > test_runner_name
test_path_diagnostics(expect_diagnostics: true)

//! > crate_settings
edition = "2024_07"

//! > module_code
mod a {
    pub trait T {
        fn foo(self: @felt252);
    }
    impl TImpl of T {
        fn foo(self: @felt252) {}
    }
}
mod b {
    pub trait T {
        fn foo(self: @felt252);
    }
    impl TImpl of T {
        fn foo(self: @felt252) {}
    }
}
use a::*;
use b::*;

fn main() {
    let x = 1_felt252;
    x.foo();
}

//! > expected_diagnostics
error[E2046]: Ambiguous method call. More than one applicable trait function with a suitable self type was found: a::T::foo and b::T::foo. Consider adding type annotations or explicitly refer to the impl function.
 --> lib.cairo:22:7
    x.foo();
      ^^^