src/test/ui/typeck/typeck-builtin-bound-type-parameters.stderr

   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
   3    |
   4 LL | fn foo1<T:Copy<U>, U>(x: T) {}
   5    |           ^^^^--- help: remove these generics
   6    |           |
   7    |           expected 0 generic arguments
   8    |
   9 note: trait defined here, with 0 generic parameters
  10   --> $SRC_DIR/core/src/marker.rs:LL:COL
  11    |
  12 LL | pub trait Copy: Clone {
  13    |           ^^^^
  14
  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
  17    |
  18 LL | trait Trait: Copy<dyn Send> {}
  19    |              ^^^^---------- help: remove these generics
  20    |              |
  21    |              expected 0 generic arguments
  22    |
  23 note: trait defined here, with 0 generic parameters
  24   --> $SRC_DIR/core/src/marker.rs:LL:COL
  25    |
  26 LL | pub trait Copy: Clone {
  27    |           ^^^^
  28
  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
  31    |
  32 LL | struct MyStruct1<T: Copy<T>>;
  33    |                     ^^^^--- help: remove these generics
  34    |                     |
  35    |                     expected 0 generic arguments
  36    |
  37 note: trait defined here, with 0 generic parameters
  38   --> $SRC_DIR/core/src/marker.rs:LL:COL
  39    |
  40 LL | pub trait Copy: Clone {
  41    |           ^^^^
  42
  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
  45    |
  46 LL | struct MyStruct2<'a, T: Copy<'a>>;
  47    |                         ^^^^---- help: remove these generics
  48    |                         |
  49    |                         expected 0 lifetime arguments
  50    |
  51 note: trait defined here, with 0 lifetime parameters
  52   --> $SRC_DIR/core/src/marker.rs:LL:COL
  53    |
  54 LL | pub trait Copy: Clone {
  55    |           ^^^^
  56
  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
  59    |
  60 LL | fn foo2<'a, T:Copy<'a, U>, U>(x: T) {}
  61    |               ^^^^ -- help: remove this lifetime argument
  62    |               |
  63    |               expected 0 lifetime arguments
  64    |
  65 note: trait defined here, with 0 lifetime parameters
  66   --> $SRC_DIR/core/src/marker.rs:LL:COL
  67    |
  68 LL | pub trait Copy: Clone {
  69    |           ^^^^
  70
  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
  73    |
  74 LL | fn foo2<'a, T:Copy<'a, U>, U>(x: T) {}
  75    |               ^^^^     - help: remove this generic argument
  76    |               |
  77    |               expected 0 generic arguments
  78    |
  79 note: trait defined here, with 0 generic parameters
  80   --> $SRC_DIR/core/src/marker.rs:LL:COL
  81    |
  82 LL | pub trait Copy: Clone {
  83    |           ^^^^
  84
  85 error: aborting due to 6 previous errors
  86
  87 For more information about this error, try `rustc --explain E0107`.