src/test/ui/impl-trait/in-trait/specialization-substs-remap.rs

   1 // check-pass
   2
   3 #![feature(specialization)]
   4 #![feature(return_position_impl_trait_in_trait)]
   5 #![allow(incomplete_features)]
   6
   7 trait Foo {
   8     fn bar(&self) -> impl Sized;
   9 }
  10
  11 impl<U> Foo for U
  12 where
  13     U: Copy,
  14 {
  15     fn bar(&self) -> U {
  16         *self
  17     }
  18 }
  19
  20 impl Foo for i32 {}
  21
  22 fn main() {
  23     let _: i32 = 1i32.bar();
  24 }