use std::ops::Add; struct Wrapper(T); trait Foo {} fn qux(a: Wrapper, b: T) -> T { a + b //~^ ERROR cannot add `T` to `Wrapper` } fn main() {}