[rustc.git] / src / test / ui / issues / issue-36839.rs

// check-pass

pub trait Foo {
    type Bar;
}

pub trait Broken {
    type Assoc;
    fn broken(&self) where Self::Assoc: Foo;
}

impl<T> Broken for T {
    type Assoc = ();
    fn broken(&self) where Self::Assoc: Foo {
        let _x: <Self::Assoc as Foo>::Bar;
    }
}

fn main() {
    let _m: &dyn Broken<Assoc=()> = &();
}
Commit	Line	Data
dc9dc135	1	// check-pass
7cac9316	2
041b39d2 XL	3	pub trait Foo {
	4	type Bar;
	5	}
	6
	7	pub trait Broken {
	8	type Assoc;
	9	fn broken(&self) where Self::Assoc: Foo;
	10	}
	11
	12	impl<T> Broken for T {
	13	type Assoc = ();
	14	fn broken(&self) where Self::Assoc: Foo {
	15	let _x: <Self::Assoc as Foo>::Bar;
476ff2be SL	16	}
476ff2be SL	17	}
041b39d2	18
a1dfa0c6	19	fn main() {
dc9dc135	20	let _m: &dyn Broken<Assoc=()> = &();
041b39d2	21	}