1// run-rustfix
2#![allow(unused_variables)]
3
4trait Get {
5    type Value;
6    fn get(&self) -> <Self as Get>::Value;
7}
8
9trait Other {
10    fn uhoh<U:Get>(&self, foo: U, bar: <Self as Get>::Value) where Self: Get {}
11    //~^ ERROR the trait bound `Self: Get` is not satisfied
12}
13
14fn main() {
15}
16