src/test/ui/shadowed-type-parameter.rs

   1 // Copyright 2013 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 shadowed lifetimes generate an error.
  12
  13 #![feature(box_syntax)]
  14
  15 struct Foo<T>(T);
  16
  17 impl<T> Foo<T> {
  18     fn shadow_in_method<T>(&self) {}
  19     //~^ ERROR type parameter `T` shadows another type parameter
  20
  21     fn not_shadow_in_item<U>(&self) {
  22         struct Bar<T, U>(T,U); // not a shadow, separate item
  23         fn foo<T, U>() {} // same
  24     }
  25 }
  26
  27 trait Bar<T> {
  28     fn dummy(&self) -> T;
  29
  30     fn shadow_in_required<T>(&self);
  31     //~^ ERROR type parameter `T` shadows another type parameter
  32
  33     fn shadow_in_provided<T>(&self) {}
  34     //~^ ERROR type parameter `T` shadows another type parameter
  35
  36     fn not_shadow_in_required<U>(&self);
  37     fn not_shadow_in_provided<U>(&self) {}
  38 }
  39
  40 fn main() {}