output.rs

#![allow(dead_code)]

mod a {
    fn f() { loop  { } }
}

trait Trait {
    fn m1(&self);
    fn m2(&self) { loop  { } }
}

struct S1;
struct S2;

mod b {
    fn f() { loop  { } }
    struct S3;
    impl ::Trait for S3 {
        fn m1(&self) { loop  { } }
        fn m2(&self) { loop  { } }
    }
}

struct S4;

fn main() {
    mod c {
        fn f() { loop  { } }
    }

    struct S5;

    mod d {
        trait Trait {
            fn m1(&self);
        }
        impl Trait for ::S4 {
            fn m1(&self) { loop  { } }
        }
    }

    impl Trait for S4 {
        fn m1(&self) { loop  { } }
    }

    impl Trait for S5 {
        fn m1(&self) { loop  { } }
    }

    impl S1 {
        fn f() { loop  { } }
    }

    impl Trait for S1 {
        fn m1(&self) { loop  { } }
        fn m2(&self) { loop  { } }
    }

    mod e {
        fn f() {
            impl ::Trait for ::S2 {
                fn m1(&self) { loop  { } }
                fn m2(&self) { loop  { } }
            }
            loop  { }
        }
    }
    loop  { }

}