src/test/ui/specialization/issue-33017.rs

   1 // Test to ensure that trait bounds are propertly
   2 // checked on specializable associated types
   3
   4 #![allow(incomplete_features)]
   5 #![feature(specialization)]
   6
   7 trait UncheckedCopy: Sized {
   8     type Output: From<Self> + Copy + Into<Self>;
   9 }
  10
  11 impl<T> UncheckedCopy for T {
  12     default type Output = Self;
  13     //~^ ERROR: the trait bound `T: Copy` is not satisfied
  14 }
  15
  16 fn unchecked_copy<T: UncheckedCopy>(other: &T::Output) -> T {
  17     (*other).into()
  18 }
  19
  20 fn bug(origin: String) {
  21     // Turn the String into it's Output type...
  22     // Which we can just do by `.into()`, the assoc type states `From<Self>`.
  23     let origin_output = origin.into();
  24
  25     // Make a copy of String::Output, which is a String...
  26     let mut copy: String = unchecked_copy::<String>(&origin_output);
  27
  28     // Turn the Output type into a String again,
  29     // Which we can just do by `.into()`, the assoc type states `Into<Self>`.
  30     let mut origin: String = origin_output.into();
  31
  32     // assert both Strings use the same buffer.
  33     assert_eq!(copy.as_ptr(), origin.as_ptr());
  34
  35     // Any use of the copy we made becomes invalid,
  36     drop(origin);
  37
  38     // OH NO! UB UB UB UB!
  39     copy.push_str(" world!");
  40     println!("{}", copy);
  41 }
  42
  43 fn main() {
  44     bug(String::from("hello"));
  45 }