src/test/ui/type/type-parameter-defaults-referencing-Self-ppaux.rs

   1 // Test a default that references `Self` which is then used in an
   2 // object type. Issue #18956. In this case, the value is supplied by
   3 // the user, but pretty-printing the type during the error message
   4 // caused an ICE.
   5
   6 trait MyAdd<Rhs=Self> { fn add(&self, other: &Rhs) -> Self; }
   7
   8 impl MyAdd for i32 {
   9     fn add(&self, other: &i32) -> i32 { *self + *other }
  10 }
  11
  12 fn main() {
  13     let x: i32 = 5;
  14     let y = x as dyn MyAdd<i32>;
  15     //~^ ERROR E0038
  16     //~| ERROR cast to unsized type: `i32` as `dyn MyAdd<i32>`
  17 }