]>
Commit | Line | Data |
---|---|---|
136023e0 | 1 | use std::collections::btree_map::{IterMut, OccupiedEntry, RangeMut, VacantEntry}; |
9cc50fc6 SL |
2 | |
3 | fn iter_cov_key<'a, 'new>(v: IterMut<'a, &'static (), ()>) -> IterMut<'a, &'new (), ()> { | |
4 | v //~ ERROR mismatched types | |
5 | } | |
6 | fn iter_cov_val<'a, 'new>(v: IterMut<'a, (), &'static ()>) -> IterMut<'a, (), &'new ()> { | |
7 | v //~ ERROR mismatched types | |
8 | } | |
9 | fn iter_contra_key<'a, 'new>(v: IterMut<'a, &'new (), ()>) -> IterMut<'a, &'static (), ()> { | |
10 | v //~ ERROR mismatched types | |
11 | } | |
12 | fn iter_contra_val<'a, 'new>(v: IterMut<'a, (), &'new ()>) -> IterMut<'a, (), &'static ()> { | |
13 | v //~ ERROR mismatched types | |
14 | } | |
15 | ||
136023e0 XL |
16 | fn range_cov_key<'a, 'new>(v: RangeMut<'a, &'static (), ()>) -> RangeMut<'a, &'new (), ()> { |
17 | v //~ ERROR mismatched types | |
18 | } | |
19 | fn range_cov_val<'a, 'new>(v: RangeMut<'a, (), &'static ()>) -> RangeMut<'a, (), &'new ()> { | |
20 | v //~ ERROR mismatched types | |
21 | } | |
22 | fn range_contra_key<'a, 'new>(v: RangeMut<'a, &'new (), ()>) -> RangeMut<'a, &'static (), ()> { | |
23 | v //~ ERROR mismatched types | |
24 | } | |
25 | fn range_contra_val<'a, 'new>(v: RangeMut<'a, (), &'new ()>) -> RangeMut<'a, (), &'static ()> { | |
26 | v //~ ERROR mismatched types | |
27 | } | |
28 | ||
9cc50fc6 SL |
29 | fn occ_cov_key<'a, 'new>(v: OccupiedEntry<'a, &'static (), ()>) |
30 | -> OccupiedEntry<'a, &'new (), ()> { | |
31 | v //~ ERROR mismatched types | |
32 | } | |
33 | fn occ_cov_val<'a, 'new>(v: OccupiedEntry<'a, (), &'static ()>) | |
34 | -> OccupiedEntry<'a, (), &'new ()> { | |
35 | v //~ ERROR mismatched types | |
36 | } | |
37 | fn occ_contra_key<'a, 'new>(v: OccupiedEntry<'a, &'new (), ()>) | |
38 | -> OccupiedEntry<'a, &'static (), ()> { | |
39 | v //~ ERROR mismatched types | |
40 | } | |
41 | fn occ_contra_val<'a, 'new>(v: OccupiedEntry<'a, (), &'new ()>) | |
42 | -> OccupiedEntry<'a, (), &'static ()> { | |
43 | v //~ ERROR mismatched types | |
44 | } | |
45 | ||
46 | fn vac_cov_key<'a, 'new>(v: VacantEntry<'a, &'static (), ()>) | |
47 | -> VacantEntry<'a, &'new (), ()> { | |
48 | v //~ ERROR mismatched types | |
49 | } | |
50 | fn vac_cov_val<'a, 'new>(v: VacantEntry<'a, (), &'static ()>) | |
51 | -> VacantEntry<'a, (), &'new ()> { | |
52 | v //~ ERROR mismatched types | |
53 | } | |
54 | fn vac_contra_key<'a, 'new>(v: VacantEntry<'a, &'new (), ()>) | |
55 | -> VacantEntry<'a, &'static (), ()> { | |
56 | v //~ ERROR mismatched types | |
57 | } | |
58 | fn vac_contra_val<'a, 'new>(v: VacantEntry<'a, (), &'new ()>) | |
59 | -> VacantEntry<'a, (), &'static ()> { | |
60 | v //~ ERROR mismatched types | |
61 | } | |
62 | ||
a1dfa0c6 | 63 | |
9cc50fc6 | 64 | fn main() { } |