bug: semantic expr compute fails: no entry found for key

[enitrat]

Bug Report

Cairo version:

scarb 2.9.2+nightly-2025-01-11 (a27b72f82 2025-01-11)
cairo: 2.9.2 (dff35c09b)
sierra: 1.6.0

Problem

fn call_with<F, +Drop<F>, +core::ops::Fn<F, (A,)>[Output: usize]>(func: F) -> usize {
    func(A{inner: array![]})
}


#[derive(Drop)]
struct A{
    inner: Array<usize>
}

fn main() {
    let aclosure = |a: A| {
        a.inner.append(3);
        *a.inner[0]
    };
    call_with(aclosure);
}

scarb cairo-run fails with:

thread 'scarb compile tmp-klgon66pi5siu' panicked at /Users/runner/.cargo/git/checkouts/cairo-f086c7e6d4098a68/dff35c0/crates/cairo-lang-semantic/src/expr/compute.rs:3267:34:
no entry found for key
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
thread 'main' panicked at scarb/src/ops/compile.rs:197:14:
Compiler thread has panicked.: Any { .. }

I was actually expecting this to NOT compile as I thought a non-copyable type would not implement FnMut.

[orizi]

Fixed in attached PR.