cairo-lang-semantic 2.18.0

//! > pattern type for a param.

//! > test_runner_name
test_function_diagnostics(expect_diagnostics: false)

//! > function_code
fn foo(x: (felt252, felt252)) {}

//! > function_name
foo

//! > expected_diagnostics

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

//! > Valid destructures of a struct.

//! > test_runner_name
test_function_diagnostics(expect_diagnostics: false)

//! > function_code
fn foo(s2: Struct2) {
    let Struct2 { member1: _, member2: _, member3: _ } = s2;
    let Struct2 { member1: _, member2: _, .. } = s2;
    let Struct2 { member1: _, member2: _, member3: Struct1 { member1: _a, .. } } = s2;
}

//! > function_name
foo

//! > module_code
struct Struct1 {
    member1: felt252,
    member2: (),
}
struct Struct2 {
    member1: felt252,
    member2: (),
    member3: Struct1,
}

//! > expected_diagnostics

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

//! > Test struct pattern with missing members.

//! > test_runner_name
test_function_diagnostics(expect_diagnostics: true)

//! > function_code
fn foo(s: MyStruct) {
    let MyStruct { a: _ } = s;
}

//! > function_name
foo

//! > module_code
struct MyStruct {
    a: usize,
    b: usize,
}

//! > expected_diagnostics
error[E0003]: Missing member "b".
 --> lib.cairo:6:9
    let MyStruct { a: _ } = s;
        ^^^^^^^^^^^^^^^^^

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

//! > Test struct pattern with non existing members.

//! > test_runner_name
test_function_diagnostics(expect_diagnostics: true)

//! > function_code
fn foo(s: MyStruct) {
    let MyStruct { a, b } = s;
}

//! > function_name
foo

//! > module_code
struct MyStruct {}

//! > expected_diagnostics
error[E2058]: Struct "MyStruct" has no member "a"
 --> lib.cairo:3:20
    let MyStruct { a, b } = s;
                   ^

error[E2058]: Struct "MyStruct" has no member "b"
 --> lib.cairo:3:23
    let MyStruct { a, b } = s;
                      ^

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

//! > Test struct pattern with members redefinition.

//! > test_runner_name
test_function_diagnostics(expect_diagnostics: true)

//! > function_code
fn foo(s: MyStruct) {
    let MyStruct { a: _, b: _, a: _, b: _ } = s;
}

//! > function_name
foo

//! > module_code
struct MyStruct {
    a: usize,
    b: usize,
}

//! > expected_diagnostics
error[E2050]: Redefinition of member "a" on struct "MyStruct".
 --> lib.cairo:6:32
    let MyStruct { a: _, b: _, a: _, b: _ } = s;
                               ^

error[E2050]: Redefinition of member "b" on struct "MyStruct".
 --> lib.cairo:6:38
    let MyStruct { a: _, b: _, a: _, b: _ } = s;
                                     ^

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

//! > Test struct pattern with non existing members, members redefinition and missing members.

//! > test_runner_name
test_function_diagnostics(expect_diagnostics: true)

//! > function_code
fn foo(s: MyStruct) {
    let MyStruct { a: _, c: _, a: _ } = s;
}

//! > function_name
foo

//! > module_code
struct MyStruct {
    a: usize,
    b: usize,
}

//! > expected_diagnostics
error[E2058]: Struct "MyStruct" has no member "c"
 --> lib.cairo:6:26
    let MyStruct { a: _, c: _, a: _ } = s;
                         ^

error[E2050]: Redefinition of member "a" on struct "MyStruct".
 --> lib.cairo:6:32
    let MyStruct { a: _, c: _, a: _ } = s;
                               ^

error[E0003]: Missing member "b".
 --> lib.cairo:6:9
    let MyStruct { a: _, c: _, a: _ } = s;
        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

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

//! > Test fixed size array pattern incompatible number of elements.

//! > test_runner_name
test_function_diagnostics(expect_diagnostics: true)

//! > function_code
fn foo(s: [felt252; 3]) {
    let [_a, _b] = s;
}

//! > function_name
foo

//! > expected_diagnostics
error[E2108]: Wrong number of fixed size array elements in pattern. Expected: 3. Got: 2.
 --> lib.cairo:2:9
    let [_a, _b] = s;
        ^^^^^^^^

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

//! > Test tuple assigned to a fixed size array pattern.

//! > test_runner_name
test_function_diagnostics(expect_diagnostics: true)

//! > function_code
fn foo(s: (felt252, felt252, felt252)) {
    let [_a, _b, _c] = s;
}

//! > function_name
foo

//! > expected_diagnostics
error[E2103]: Mismatched types: pattern cannot match against type "(core::felt252, core::felt252, core::felt252)".
 --> lib.cairo:2:9
    let [_a, _b, _c] = s;
        ^^^^^^^^^^^^

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

//! > Test fixed size array assigned to a tuple pattern.

//! > test_runner_name
test_function_diagnostics(expect_diagnostics: true)

//! > function_code
fn foo(s: [felt252; 3]) {
    let (_a, _b, _c) = s;
}

//! > function_name
foo

//! > expected_diagnostics
error[E2103]: Mismatched types: pattern cannot match against type "[core::felt252; 3]".
 --> lib.cairo:2:9
    let (_a, _b, _c) = s;
        ^^^^^^^^^^^^

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

//! > Avoid crash on unknown patterns.

//! > test_runner_name
test_function_diagnostics(expect_diagnostics: true)

//! > function_code
fn foo(s: [felt252; 3]) {
    let (unresolved,) = if true {} else {
        (array![(1, 2, 3)],)
    };
    for (_x, _y, _z) in unresolved.span() {}
}

//! > function_name
foo

//! > expected_diagnostics
error[E2056]: If blocks have incompatible types: "()" and "(core::array::Array::<(?3, ?4, ?5)>,)"
 --> lib.cairo:2:25-4:5
      let (unresolved,) = if true {} else {
 _________________________^
|         (array![(1, 2, 3)],)
|     };
|_____^

error[E2107]: Wrong number of tuple elements in pattern. Expected: 0. Got: 1.
 --> lib.cairo:2:9
    let (unresolved,) = if true {} else {
        ^^^^^^^^^^^^^

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

//! > Test duplicate variables in tuple pattern let.

//! > test_runner_name
test_function_diagnostics(expect_diagnostics: true)

//! > function_code
fn foo() {
    let (_a, _a) = (1, 2);
}

//! > function_name
foo

//! > expected_diagnostics
error[E2049]: Redefinition of variable name "_a" in pattern.
 --> lib.cairo:2:14
    let (_a, _a) = (1, 2);
             ^^

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

//! > Test duplicate variables in match patterns.

//! > test_runner_name
test_function_diagnostics(expect_diagnostics: true)

//! > function_code
fn foo() {
    match (1, 2) {
        (_a, _a) => (),
    }

    match ((1, 2), 3) {
        ((_b, _), _b) => (),
    };
}

//! > function_name
foo

//! > expected_diagnostics
error[E2049]: Redefinition of variable name "_a" in pattern.
 --> lib.cairo:3:14
        (_a, _a) => (),
             ^^

error[E2049]: Redefinition of variable name "_b" in pattern.
 --> lib.cairo:7:19
        ((_b, _), _b) => (),
                  ^^

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

//! > Test span into fixed size array pattern.

//! > test_runner_name
test_function_diagnostics(expect_diagnostics: false)

//! > function_code
fn foo(s: Span<u32>) -> u32 {
    let [a, b] = s else {
        return 0;
    };
    *a + *b
}

//! > function_name
foo

//! > module_code

//! > expected_diagnostics

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

//! > Test type mismatch in span pattern arm surfaces as confusing ToSpanTrait error.

//! > test_runner_name
test_function_diagnostics(expect_diagnostics: true)

//! > function_code
fn foo() {
    let a: Array<u8> = array![1, 2, 3];
    let c: u16 = 0;
    match a.span() {
        [x, y, z] => c + *x + *y + *z,
        _ => 0,
    };
}

//! > function_name
foo

//! > module_code

//! > expected_diagnostics
error[E2311]: Trait has no implementation in context: core::array::ToSpanTrait::<core::array::Array::<core::integer::u8>, core::integer::u16>.
 --> lib.cairo:4:13
    match a.span() {
            ^^^^

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

//! > Test array pattern on non-Span generic struct.

//! > test_runner_name
test_function_diagnostics(expect_diagnostics: true)

//! > function_code
fn foo(s: MyStruct<u8>) {
    let [_x, _y] = s;
}

//! > function_name
foo

//! > module_code
struct MyStruct<T> {
    value: T,
}

//! > expected_diagnostics
error[E2103]: Mismatched types: pattern cannot match against type "test::MyStruct::<core::integer::u8>".
 --> lib.cairo:5:9
    let [_x, _y] = s;
        ^^^^^^^^

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

//! > Test array pattern on Array instead of Span.

//! > test_runner_name
test_function_diagnostics(expect_diagnostics: true)

//! > function_code
fn foo() {
    let a: Array<u8> = array![1, 2, 3];
    match a {
        [_x, _y, _z] => {},
        _ => {},
    };
}

//! > function_name
foo

//! > module_code

//! > expected_diagnostics
error[E2103]: Mismatched types: pattern cannot match against type "core::array::Array::<core::integer::u8>".
 --> lib.cairo:4:9
        [_x, _y, _z] => {},
        ^^^^^^^^^^^^

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

//! > Test array pattern on fixed size array value.

//! > test_runner_name
test_function_diagnostics(expect_diagnostics: false)

//! > function_code
fn foo() {
    let a: [u8; 3] = [1, 2, 3];
    match a {
        [_x, _y, _z] => {},
        _ => {},
    };
}

//! > function_name
foo

//! > module_code

//! > expected_diagnostics

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

//! > Test invalid patterns on Span value.

//! > test_runner_name
test_function_diagnostics(expect_diagnostics: true)

//! > function_code
fn foo(s: Span<u32>) -> u32 {
    match s {
        [a, b] => *a + *b,
        5 => 0,
        (a, b) => *a + *b,
        Some(a) => *a,
    }
}

//! > function_name
foo

//! > module_code

//! > expected_diagnostics
error[E2103]: Mismatched types: pattern cannot match against type "core::array::Span::<core::integer::u32>".
 --> lib.cairo:5:9
        (a, b) => *a + *b,
        ^^^^^^

error[E2135]: Type `<missing>` cannot be dereferenced
 --> lib.cairo:5:19
        (a, b) => *a + *b,
                  ^

error[E2135]: Type `<missing>` cannot be dereferenced
 --> lib.cairo:5:24
        (a, b) => *a + *b,
                       ^

error[E2103]: Mismatched types: pattern cannot match against type "core::array::Span::<core::integer::u32>".
 --> lib.cairo:6:9
        Some(a) => *a,
        ^^^^^^^

error[E0006]: Identifier not found.
 --> lib.cairo:6:21
        Some(a) => *a,
                    ^

error[E2135]: Type `<missing>` cannot be dereferenced
 --> lib.cairo:6:20
        Some(a) => *a,
                   ^

error[E2311]: Mismatched types. The type `core::array::Span::<core::integer::u32>` cannot be created from a numeric literal.
 --> lib.cairo:4:9
        5 => 0,
        ^