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