mod inner {
    pub trait MyTrait {
        const MY_ASSOC_CONST: ();

        fn my_fn();
    }

    pub struct MyStruct;

    impl MyTrait for MyStruct {
        const MY_ASSOC_CONST: () = ();

        fn my_fn() {}
    }

    fn call() {
        MyTrait::my_fn(); //~ ERROR E0790
    }

    fn use_const() {
        let _ = MyTrait::MY_ASSOC_CONST; //~ ERROR E0790
    }
}

fn call_inner() {
    inner::MyTrait::my_fn(); //~ ERROR E0790
}

fn use_const_inner() {
    let _ = inner::MyTrait::MY_ASSOC_CONST; //~ ERROR E0790
}

trait MyTrait2 {
    fn my_fn();
}

struct Impl1;

impl MyTrait2 for Impl1 {
    fn my_fn() {}
}

struct Impl2;

impl MyTrait2 for Impl2 {
    fn my_fn() {}
}

fn call_multiple_impls() {
    MyTrait2::my_fn(); //~ ERROR E0790
}

fn main() {}