// Check that we require that associated types in an impl are well-formed.#![allow(dead_code)]pubtraitMyHash{}pubstructMySet<T:MyHash>{data: Vec<T>}pubtraitFoo{typeBar;}impl<T>FooforT{typeBar=MySet<T>;//~^ ERROR the trait bound `T: MyHash` is not satisfied}fnmain(){}