src/test/compile-fail/reflect-object-param.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 // Test that types that appear in input types in an object type are
  12 // subject to the reflect check.
  13
  14 use std::marker::Reflect;
  15 use std::io::Write;
  16
  17 trait Get<T> {
  18     fn get(self) -> T;
  19 }
  20
  21 struct Struct<T>(T);
  22
  23 fn is_reflect<T:Reflect>() { }
  24
  25 fn a<T>() {
  26     is_reflect::<T>(); //~ ERROR E0277
  27 }
  28
  29 fn ok_a<T: Reflect>() {
  30     is_reflect::<T>(); // OK
  31 }
  32
  33 fn b<T>() {
  34     is_reflect::<Box<Get<T>>>(); //~ ERROR E0277
  35 }
  36
  37 fn ok_b<T: Reflect>() {
  38     is_reflect::<Box<Get<T>>>(); // OK
  39 }
  40
  41 fn c<T>() {
  42     is_reflect::<Box<Get<Struct<T>>>>(); //~ ERROR E0277
  43 }
  44
  45 fn main() {
  46     is_reflect::<Box<Get<Struct<()>>>>(); // OK
  47 }