1 use std
::collections
::btree_map
::{IterMut, OccupiedEntry, RangeMut, VacantEntry}
;
3 fn iter_cov_key
<'a
, 'new
>(v
: IterMut
<'a
, &'
static (), ()>) -> IterMut
<'a
, &'
new (), ()> {
4 v
//~ ERROR mismatched types
6 fn iter_cov_val
<'a
, 'new
>(v
: IterMut
<'a
, (), &'
static ()>) -> IterMut
<'a
, (), &'
new ()> {
7 v
//~ ERROR mismatched types
9 fn iter_contra_key
<'a
, 'new
>(v
: IterMut
<'a
, &'
new (), ()>) -> IterMut
<'a
, &'
static (), ()> {
10 v
//~ ERROR mismatched types
12 fn iter_contra_val
<'a
, 'new
>(v
: IterMut
<'a
, (), &'
new ()>) -> IterMut
<'a
, (), &'
static ()> {
13 v
//~ ERROR mismatched types
16 fn range_cov_key
<'a
, 'new
>(v
: RangeMut
<'a
, &'
static (), ()>) -> RangeMut
<'a
, &'
new (), ()> {
17 v
//~ ERROR mismatched types
19 fn range_cov_val
<'a
, 'new
>(v
: RangeMut
<'a
, (), &'
static ()>) -> RangeMut
<'a
, (), &'
new ()> {
20 v
//~ ERROR mismatched types
22 fn range_contra_key
<'a
, 'new
>(v
: RangeMut
<'a
, &'
new (), ()>) -> RangeMut
<'a
, &'
static (), ()> {
23 v
//~ ERROR mismatched types
25 fn range_contra_val
<'a
, 'new
>(v
: RangeMut
<'a
, (), &'
new ()>) -> RangeMut
<'a
, (), &'
static ()> {
26 v
//~ ERROR mismatched types
29 fn occ_cov_key
<'a
, 'new
>(v
: OccupiedEntry
<'a
, &'
static (), ()>)
30 -> OccupiedEntry
<'a
, &'
new (), ()> {
31 v
//~ ERROR mismatched types
33 fn occ_cov_val
<'a
, 'new
>(v
: OccupiedEntry
<'a
, (), &'
static ()>)
34 -> OccupiedEntry
<'a
, (), &'
new ()> {
35 v
//~ ERROR mismatched types
37 fn occ_contra_key
<'a
, 'new
>(v
: OccupiedEntry
<'a
, &'
new (), ()>)
38 -> OccupiedEntry
<'a
, &'
static (), ()> {
39 v
//~ ERROR mismatched types
41 fn occ_contra_val
<'a
, 'new
>(v
: OccupiedEntry
<'a
, (), &'
new ()>)
42 -> OccupiedEntry
<'a
, (), &'
static ()> {
43 v
//~ ERROR mismatched types
46 fn vac_cov_key
<'a
, 'new
>(v
: VacantEntry
<'a
, &'
static (), ()>)
47 -> VacantEntry
<'a
, &'
new (), ()> {
48 v
//~ ERROR mismatched types
50 fn vac_cov_val
<'a
, 'new
>(v
: VacantEntry
<'a
, (), &'
static ()>)
51 -> VacantEntry
<'a
, (), &'
new ()> {
52 v
//~ ERROR mismatched types
54 fn vac_contra_key
<'a
, 'new
>(v
: VacantEntry
<'a
, &'
new (), ()>)
55 -> VacantEntry
<'a
, &'
static (), ()> {
56 v
//~ ERROR mismatched types
58 fn vac_contra_val
<'a
, 'new
>(v
: VacantEntry
<'a
, (), &'
new ()>)
59 -> VacantEntry
<'a
, (), &'
static ()> {
60 v
//~ ERROR mismatched types