1 error[E0367]: `Drop` impl requires `AddsBnd: Bound` but the union it is implemented for does not
2 --> $DIR/reject-specialized-drops-8142.rs:67:21
4 LL | impl<AddsBnd:Copy + Bound> Drop for Union<AddsBnd> { fn drop(&mut self) { } } // REJECT
7 note: the implementor must specify the same requirement
8 --> $DIR/reject-specialized-drops-8142.rs:21:1
10 LL | union Union<T: Copy> { f: T }
11 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
13 error[E0367]: `Drop` impl requires `'adds_bnd: 'al` but the struct it is implemented for does not
14 --> $DIR/reject-specialized-drops-8142.rs:23:20
16 LL | impl<'al,'adds_bnd:'al> Drop for K<'al,'adds_bnd> { // REJECT
19 note: the implementor must specify the same requirement
20 --> $DIR/reject-specialized-drops-8142.rs:5:1
22 LL | struct K<'l1,'l2> { x: &'l1 i8, y: &'l2 u8 }
23 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
25 error[E0367]: `Drop` impl requires `'adds_bnd: 'al` but the struct it is implemented for does not
26 --> $DIR/reject-specialized-drops-8142.rs:27:67
28 LL | impl<'al,'adds_bnd> Drop for L<'al,'adds_bnd> where 'adds_bnd:'al { // REJECT
31 note: the implementor must specify the same requirement
32 --> $DIR/reject-specialized-drops-8142.rs:6:1
34 LL | struct L<'l1,'l2> { x: &'l1 i8, y: &'l2 u8 }
35 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
37 error[E0308]: mismatched types
38 --> $DIR/reject-specialized-drops-8142.rs:33:1
40 LL | impl Drop for N<'static> { fn drop(&mut self) { } } // REJECT
41 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ lifetime mismatch
43 = note: expected struct `N<'n>`
44 found struct `N<'static>`
45 note: the lifetime `'n` as defined on the struct at 8:10...
46 --> $DIR/reject-specialized-drops-8142.rs:8:10
48 LL | struct N<'n> { x: &'n i8 }
50 = note: ...does not necessarily outlive the static lifetime
52 error[E0366]: `Drop` impls cannot be specialized
53 --> $DIR/reject-specialized-drops-8142.rs:40:1
55 LL | impl Drop for P<i8> { fn drop(&mut self) { } } // REJECT
56 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
58 note: use the same sequence of generic type, lifetime and const parameters as the struct definition
59 --> $DIR/reject-specialized-drops-8142.rs:10:1
61 LL | struct P<Tp> { x: *const Tp }
62 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
64 error[E0367]: `Drop` impl requires `AddsBnd: Bound` but the struct it is implemented for does not
65 --> $DIR/reject-specialized-drops-8142.rs:43:14
67 LL | impl<AddsBnd:Bound> Drop for Q<AddsBnd> { fn drop(&mut self) { } } // REJECT
70 note: the implementor must specify the same requirement
71 --> $DIR/reject-specialized-drops-8142.rs:11:1
73 LL | struct Q<Tq> { x: *const Tq }
74 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
76 error[E0367]: `Drop` impl requires `AddsRBnd: 'rbnd` but the struct it is implemented for does not
77 --> $DIR/reject-specialized-drops-8142.rs:46:21
79 LL | impl<'rbnd,AddsRBnd:'rbnd> Drop for R<AddsRBnd> { fn drop(&mut self) { } } // REJECT
82 note: the implementor must specify the same requirement
83 --> $DIR/reject-specialized-drops-8142.rs:12:1
85 LL | struct R<Tr> { x: *const Tr }
86 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
88 error[E0366]: `Drop` impls cannot be specialized
89 --> $DIR/reject-specialized-drops-8142.rs:55:1
91 LL | impl<One> Drop for V<One,One> { fn drop(&mut self) { } } // REJECT
92 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
94 note: use the same sequence of generic type, lifetime and const parameters as the struct definition
95 --> $DIR/reject-specialized-drops-8142.rs:16:1
97 LL | struct V<Tva, Tvb> { x: *const Tva, y: *const Tvb }
98 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
100 error[E0495]: cannot infer an appropriate lifetime for lifetime parameter `'lw` due to conflicting requirements
101 --> $DIR/reject-specialized-drops-8142.rs:58:1
103 LL | impl<'lw> Drop for W<'lw,'lw> { fn drop(&mut self) { } } // REJECT
104 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
106 note: first, the lifetime cannot outlive the lifetime `'l1` as defined on the struct at 17:10...
107 --> $DIR/reject-specialized-drops-8142.rs:17:10
109 LL | struct W<'l1, 'l2> { x: &'l1 i8, y: &'l2 u8 }
111 note: ...but the lifetime must also be valid for the lifetime `'l2` as defined on the struct at 17:15...
112 --> $DIR/reject-specialized-drops-8142.rs:17:15
114 LL | struct W<'l1, 'l2> { x: &'l1 i8, y: &'l2 u8 }
116 note: ...so that the types are compatible
117 --> $DIR/reject-specialized-drops-8142.rs:58:1
119 LL | impl<'lw> Drop for W<'lw,'lw> { fn drop(&mut self) { } } // REJECT
120 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
121 = note: expected `W<'l1, 'l2>`
124 error[E0367]: `Drop` impl requires `AddsBnd: Bound` but the enum it is implemented for does not
125 --> $DIR/reject-specialized-drops-8142.rs:61:14
127 LL | impl<AddsBnd:Bound> Drop for Enum<AddsBnd> { fn drop(&mut self) { } } // REJECT
130 note: the implementor must specify the same requirement
131 --> $DIR/reject-specialized-drops-8142.rs:19:1
133 LL | enum Enum<T> { Variant(T) }
134 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
136 error[E0367]: `Drop` impl requires `AddsBnd: Bound` but the struct it is implemented for does not
137 --> $DIR/reject-specialized-drops-8142.rs:64:14
139 LL | impl<AddsBnd:Bound> Drop for TupleStruct<AddsBnd> { fn drop(&mut self) { } } // REJECT
142 note: the implementor must specify the same requirement
143 --> $DIR/reject-specialized-drops-8142.rs:20:1
145 LL | struct TupleStruct<T>(T);
146 | ^^^^^^^^^^^^^^^^^^^^^^^^^
148 error: aborting due to 11 previous errors
150 Some errors have detailed explanations: E0308, E0366, E0367, E0495.
151 For more information about an error, try `rustc --explain E0308`.