src/test/ui/object-safety/object-safety-by-value-self.rs

   1 // Copyright 2014 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 // Check that a trait with by-value self is considered object-safe.
  12
  13 #![feature(rustc_attrs)]
  14 #![allow(dead_code)]
  15 #![allow(trivial_casts)]
  16
  17 trait Bar {
  18     fn bar(self);
  19 }
  20
  21 trait Baz {
  22     fn baz(self: Self);
  23 }
  24
  25 trait Quux {
  26     // Legal because of the where clause:
  27     fn baz(self: Self) where Self : Sized;
  28 }
  29
  30 fn make_bar<T:Bar>(t: &T) -> &Bar {
  31     t // legal
  32 }
  33
  34 fn make_bar_explicit<T:Bar>(t: &T) -> &Bar {
  35     t as &Bar // legal
  36 }
  37
  38 fn make_baz<T:Baz>(t: &T) -> &Baz {
  39     t // legal
  40 }
  41
  42 fn make_baz_explicit<T:Baz>(t: &T) -> &Baz {
  43     t as &Baz // legal
  44 }
  45
  46 fn make_quux<T:Quux>(t: &T) -> &Quux {
  47     t
  48 }
  49
  50 fn make_quux_explicit<T:Quux>(t: &T) -> &Quux {
  51     t as &Quux
  52 }
  53
  54 #[rustc_error]
  55 fn main() { //~ ERROR compilation successful
  56 }