bug: Compile panics with assertion failed: aq.cycle.is_none()

[maciektr]

Bug Report

Cairo version:

v2.8.4 or current main
Tested with both Scarb and Cairo binary

Current behavior:

Panic on specific input with:

thread 'main' panicked at /Users/maciektr/.cargo/registry/src/index.crates.io-6f17d22bba15001f/rust-analyzer-salsa-0.17.0-pre.6/src/runtime.rs:341:21:
assertion failed: aq.cycle.is_none()

Expected behavior:

No panic.

Steps to reproduce:

Try to compile following snippet

Related code:

fn main() -> u32 {
    fib(16)
}

fn fib(mut n: u32) -> u32 {
    let mut a: u32 = 0;
    let mut b: u32 = 1;
    while n != 0 {
        n = n - 1;
        let temp = b;
        b = a + b;
        a = temp;
    };
    a
}

trait Trait1<T> {
    fn x(self: @T) -> u256;
}
struct Wrapped<T, +Trait1<T>> {
    s: T
}
impl Trait1Wrapped<T, +Trait1<T>> of Trait1<Wrapped<T>> {
}

#[cfg(test)]
mod tests {
    use super::fib;

    #[test]
    fn it_works() {
        assert(fib(16) == 987, 'it works!');
    }
}

Other information:

Originally reported on discord: https://discord.com/channels/793094838509764618/1270121041116794962/1299456003758231563