Trait method calls don't get renamed properly inside bundles

[maximebuyse]

mod a{
    trait T {
        fn to_int(&self) -> i32;
    }

    impl T for i32 {
        fn to_int(&self) -> i32 {
            *self
        }
    }

    fn h() -> i32 {0.to_int()}
    pub fn f() {super::b::g()}
}
mod b {
    pub fn g () {super::a::f()}
}

Open this code snippet in the playground

Here in h, the call to to_int is translated to Playground.A.f_to_int instead of just f_to_int. We are missing some renaming.

[franziskuskiefer]

This appears to be another instance of this bug.
We hit this in libcrux.

mod simd {
    pub(crate) mod traits {
        pub(crate) trait Operations: Copy + Clone {
            type Coefficient: Copy;
        }
    }
}

mod polynomial {
    use super::simd::traits::*;

    #[derive(Clone, Copy)]
    pub(crate) struct PolynomialRingElement<SIMDUnit: Operations> {
        pub(crate) simd_units: [SIMDUnit::Coefficient; 32],
    }
}

Open this code snippet in the playground