tests/ui/traits/new-solver/upcast-right-substs.rs

   1 // compile-flags: -Ztrait-solver=next
   2 // check-pass
   3
   4 #![feature(trait_upcasting)]
   5
   6 trait Foo: Bar<i32> + Bar<u32> {}
   7
   8 trait Bar<T> {}
   9
  10 fn main() {
  11     let x: &dyn Foo = todo!();
  12     let y: &dyn Bar<i32> = x;
  13     let z: &dyn Bar<u32> = x;
  14 }