]> git.lizzy.rs Git - rust.git/blob - tests/ui/kindck/kindck-copy.stderr
Note predicate span on ImplDerivedObligation
[rust.git] / tests / ui / kindck / kindck-copy.stderr
1 error[E0277]: the trait bound `&'static mut isize: Copy` is not satisfied
2   --> $DIR/kindck-copy.rs:27:19
3    |
4 LL |     assert_copy::<&'static mut isize>();
5    |                   ^^^^^^^^^^^^^^^^^^ the trait `Copy` is not implemented for `&'static mut isize`
6    |
7    = help: the trait `Copy` is implemented for `isize`
8 note: required by a bound in `assert_copy`
9   --> $DIR/kindck-copy.rs:5:18
10    |
11 LL | fn assert_copy<T:Copy>() { }
12    |                  ^^^^ required by this bound in `assert_copy`
13
14 error[E0277]: the trait bound `&'a mut isize: Copy` is not satisfied
15   --> $DIR/kindck-copy.rs:28:19
16    |
17 LL |     assert_copy::<&'a mut isize>();
18    |                   ^^^^^^^^^^^^^ the trait `Copy` is not implemented for `&'a mut isize`
19    |
20    = help: the trait `Copy` is implemented for `isize`
21 note: required by a bound in `assert_copy`
22   --> $DIR/kindck-copy.rs:5:18
23    |
24 LL | fn assert_copy<T:Copy>() { }
25    |                  ^^^^ required by this bound in `assert_copy`
26
27 error[E0277]: the trait bound `Box<isize>: Copy` is not satisfied
28   --> $DIR/kindck-copy.rs:31:19
29    |
30 LL |     assert_copy::<Box<isize>>();
31    |                   ^^^^^^^^^^ the trait `Copy` is not implemented for `Box<isize>`
32    |
33 note: required by a bound in `assert_copy`
34   --> $DIR/kindck-copy.rs:5:18
35    |
36 LL | fn assert_copy<T:Copy>() { }
37    |                  ^^^^ required by this bound in `assert_copy`
38
39 error[E0277]: the trait bound `String: Copy` is not satisfied
40   --> $DIR/kindck-copy.rs:32:19
41    |
42 LL |     assert_copy::<String>();
43    |                   ^^^^^^ the trait `Copy` is not implemented for `String`
44    |
45 note: required by a bound in `assert_copy`
46   --> $DIR/kindck-copy.rs:5:18
47    |
48 LL | fn assert_copy<T:Copy>() { }
49    |                  ^^^^ required by this bound in `assert_copy`
50
51 error[E0277]: the trait bound `Vec<isize>: Copy` is not satisfied
52   --> $DIR/kindck-copy.rs:33:19
53    |
54 LL |     assert_copy::<Vec<isize> >();
55    |                   ^^^^^^^^^^ the trait `Copy` is not implemented for `Vec<isize>`
56    |
57 note: required by a bound in `assert_copy`
58   --> $DIR/kindck-copy.rs:5:18
59    |
60 LL | fn assert_copy<T:Copy>() { }
61    |                  ^^^^ required by this bound in `assert_copy`
62
63 error[E0277]: the trait bound `Box<&'a mut isize>: Copy` is not satisfied
64   --> $DIR/kindck-copy.rs:34:19
65    |
66 LL |     assert_copy::<Box<&'a mut isize>>();
67    |                   ^^^^^^^^^^^^^^^^^^ the trait `Copy` is not implemented for `Box<&'a mut isize>`
68    |
69 note: required by a bound in `assert_copy`
70   --> $DIR/kindck-copy.rs:5:18
71    |
72 LL | fn assert_copy<T:Copy>() { }
73    |                  ^^^^ required by this bound in `assert_copy`
74
75 error[E0277]: the trait bound `Box<dyn Dummy>: Copy` is not satisfied
76   --> $DIR/kindck-copy.rs:42:19
77    |
78 LL |     assert_copy::<Box<dyn Dummy>>();
79    |                   ^^^^^^^^^^^^^^ the trait `Copy` is not implemented for `Box<dyn Dummy>`
80    |
81 note: required by a bound in `assert_copy`
82   --> $DIR/kindck-copy.rs:5:18
83    |
84 LL | fn assert_copy<T:Copy>() { }
85    |                  ^^^^ required by this bound in `assert_copy`
86
87 error[E0277]: the trait bound `Box<dyn Dummy + Send>: Copy` is not satisfied
88   --> $DIR/kindck-copy.rs:43:19
89    |
90 LL |     assert_copy::<Box<dyn Dummy + Send>>();
91    |                   ^^^^^^^^^^^^^^^^^^^^^ the trait `Copy` is not implemented for `Box<dyn Dummy + Send>`
92    |
93 note: required by a bound in `assert_copy`
94   --> $DIR/kindck-copy.rs:5:18
95    |
96 LL | fn assert_copy<T:Copy>() { }
97    |                  ^^^^ required by this bound in `assert_copy`
98
99 error[E0277]: the trait bound `&'a mut (dyn Dummy + Send + 'a): Copy` is not satisfied
100   --> $DIR/kindck-copy.rs:46:19
101    |
102 LL |     assert_copy::<&'a mut (dyn Dummy + Send)>();
103    |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Copy` is not implemented for `&'a mut (dyn Dummy + Send + 'a)`
104    |
105 note: required by a bound in `assert_copy`
106   --> $DIR/kindck-copy.rs:5:18
107    |
108 LL | fn assert_copy<T:Copy>() { }
109    |                  ^^^^ required by this bound in `assert_copy`
110
111 error[E0277]: the trait bound `MyNoncopyStruct: Copy` is not satisfied
112   --> $DIR/kindck-copy.rs:64:19
113    |
114 LL |     assert_copy::<MyNoncopyStruct>();
115    |                   ^^^^^^^^^^^^^^^ the trait `Copy` is not implemented for `MyNoncopyStruct`
116    |
117 note: required by a bound in `assert_copy`
118   --> $DIR/kindck-copy.rs:5:18
119    |
120 LL | fn assert_copy<T:Copy>() { }
121    |                  ^^^^ required by this bound in `assert_copy`
122
123 error[E0277]: the trait bound `Rc<isize>: Copy` is not satisfied
124   --> $DIR/kindck-copy.rs:67:19
125    |
126 LL |     assert_copy::<Rc<isize>>();
127    |                   ^^^^^^^^^ the trait `Copy` is not implemented for `Rc<isize>`
128    |
129 note: required by a bound in `assert_copy`
130   --> $DIR/kindck-copy.rs:5:18
131    |
132 LL | fn assert_copy<T:Copy>() { }
133    |                  ^^^^ required by this bound in `assert_copy`
134
135 error: aborting due to 11 previous errors
136
137 For more information about this error, try `rustc --explain E0277`.