trait Add<Rhs=Self> {
    type Output;
}

impl Add for i32 {
    type Output = i32;
}

fn main() {
    let x = &10 as &dyn Add;
    //~^ ERROR E0393
    //~| ERROR E0191
}