src/test/ui/duplicate/duplicate-type-parameter.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 type Foo<T,T> = Option<T>;
  12 //~^ ERROR the name `T` is already used
  13
  14 struct Bar<T,T>(T);
  15 //~^ ERROR the name `T` is already used
  16
  17 struct Baz<T,T> {
  18 //~^ ERROR the name `T` is already used
  19     x: T,
  20 }
  21
  22 enum Boo<T,T> {
  23 //~^ ERROR the name `T` is already used
  24     A(T),
  25     B,
  26 }
  27
  28 fn quux<T,T>(x: T) {}
  29 //~^ ERROR the name `T` is already used
  30
  31 trait Qux<T,T> {}
  32 //~^ ERROR the name `T` is already used
  33
  34 impl<T,T> Qux<T,T> for Option<T> {}
  35 //~^ ERROR the name `T` is already used
  36 //~^^ ERROR the type parameter `T` is not constrained
  37
  38 fn main() {
  39 }