Cyclic dependency with trait impl

[franziskuskiefer]

mod encoder {
    trait Encode {
        fn encode();
    }

    impl<T: Encode> Encode for Option<T> {
        fn encode() {
            T::encode();
        }
    }

    pub fn foo(){
        super::user::something();
    }
}

mod user {
    pub fn something() {
        super::encoder::foo();
    }
}

Open this code snippet in the playground

[W95Psp]

The F* produced here refers to Playground.Encoder.f_encode when calling T::encode(). Instead we need to refer to the bundle.

[karthikbhargavan]

I believe the issue is that the recursive bundle includes the trait and its implementation whereas it should not.