1 error[E0107]: this trait takes 0 generic arguments but 1 generic argument was supplied
2 --> $DIR/typeck-builtin-bound-type-parameters.rs:1:11
4 LL | fn foo1<T:Copy<U>, U>(x: T) {}
5 | ^^^^--- help: remove these generics
7 | expected 0 generic arguments
9 note: trait defined here, with 0 generic parameters
10 --> $SRC_DIR/core/src/marker.rs:LL:COL
12 LL | pub trait Copy: Clone {
15 error[E0107]: this trait takes 0 generic arguments but 1 generic argument was supplied
16 --> $DIR/typeck-builtin-bound-type-parameters.rs:4:14
18 LL | trait Trait: Copy<dyn Send> {}
19 | ^^^^---------- help: remove these generics
21 | expected 0 generic arguments
23 note: trait defined here, with 0 generic parameters
24 --> $SRC_DIR/core/src/marker.rs:LL:COL
26 LL | pub trait Copy: Clone {
29 error[E0107]: this trait takes 0 generic arguments but 1 generic argument was supplied
30 --> $DIR/typeck-builtin-bound-type-parameters.rs:7:21
32 LL | struct MyStruct1<T: Copy<T>>;
33 | ^^^^--- help: remove these generics
35 | expected 0 generic arguments
37 note: trait defined here, with 0 generic parameters
38 --> $SRC_DIR/core/src/marker.rs:LL:COL
40 LL | pub trait Copy: Clone {
43 error[E0107]: this trait takes 0 lifetime arguments but 1 lifetime argument was supplied
44 --> $DIR/typeck-builtin-bound-type-parameters.rs:10:25
46 LL | struct MyStruct2<'a, T: Copy<'a>>;
47 | ^^^^---- help: remove these generics
49 | expected 0 lifetime arguments
51 note: trait defined here, with 0 lifetime parameters
52 --> $SRC_DIR/core/src/marker.rs:LL:COL
54 LL | pub trait Copy: Clone {
57 error[E0107]: this trait takes 0 lifetime arguments but 1 lifetime argument was supplied
58 --> $DIR/typeck-builtin-bound-type-parameters.rs:13:15
60 LL | fn foo2<'a, T:Copy<'a, U>, U>(x: T) {}
61 | ^^^^ -- help: remove this lifetime argument
63 | expected 0 lifetime arguments
65 note: trait defined here, with 0 lifetime parameters
66 --> $SRC_DIR/core/src/marker.rs:LL:COL
68 LL | pub trait Copy: Clone {
71 error[E0107]: this trait takes 0 generic arguments but 1 generic argument was supplied
72 --> $DIR/typeck-builtin-bound-type-parameters.rs:13:15
74 LL | fn foo2<'a, T:Copy<'a, U>, U>(x: T) {}
75 | ^^^^ - help: remove this generic argument
77 | expected 0 generic arguments
79 note: trait defined here, with 0 generic parameters
80 --> $SRC_DIR/core/src/marker.rs:LL:COL
82 LL | pub trait Copy: Clone {
85 error: aborting due to 6 previous errors
87 For more information about this error, try `rustc --explain E0107`.