src/test/run-pass/issue28498-ugeh-with-trait-bound.rs

   1 // Copyright 2015 The Rust Project Developers. See the COPYRIGHT
   2 // file at the top-level directory of this distribution and at
   3 // http://rust-lang.org/COPYRIGHT.
   4 //
   5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
   6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
   7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
   8 // option. This file may not be copied, modified, or distributed
   9 // except according to those terms.
  10
  11 // Demonstrate the use of the unguarded escape hatch with a trait bound
  12 // to assert that destructor will not access any dead data.
  13 //
  14 // Compare with compile-fail/issue28498-reject-trait-bound.rs
  15
  16 #![feature(dropck_parametricity)]
  17
  18 use std::fmt;
  19
  20 #[derive(Debug)]
  21 struct ScribbleOnDrop(String);
  22
  23 impl Drop for ScribbleOnDrop {
  24     fn drop(&mut self) {
  25         self.0 = format!("DROPPED");
  26     }
  27 }
  28
  29 struct Foo<T:fmt::Debug>(u32, T);
  30
  31 impl<T:fmt::Debug> Drop for Foo<T> {
  32     #[unsafe_destructor_blind_to_params]
  33     fn drop(&mut self) {
  34         // Use of `unsafe_destructor_blind_to_params` is sound,
  35         // because destructor never accesses the `Debug::fmt` method
  36         // of `T`, despite having it available.
  37         println!("Dropping Foo({}, _)", self.0);
  38     }
  39 }
  40
  41 fn main() {
  42     let (last_dropped, foo0);
  43     let (foo1, first_dropped);
  44
  45     last_dropped = ScribbleOnDrop(format!("last"));
  46     first_dropped = ScribbleOnDrop(format!("first"));
  47     foo0 = Foo(0, &last_dropped);
  48     foo1 = Foo(1, &first_dropped);
  49
  50     println!("foo0.1: {:?} foo1.1: {:?}", foo0.1, foo1.1);
  51 }