summaryrefslogtreecommitdiffstats
path: root/src/test/ui/variance/variance-btree-invariant-types.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/variance/variance-btree-invariant-types.rs')
-rw-r--r--src/test/ui/variance/variance-btree-invariant-types.rs80
1 files changed, 0 insertions, 80 deletions
diff --git a/src/test/ui/variance/variance-btree-invariant-types.rs b/src/test/ui/variance/variance-btree-invariant-types.rs
deleted file mode 100644
index 09c93d001..000000000
--- a/src/test/ui/variance/variance-btree-invariant-types.rs
+++ /dev/null
@@ -1,80 +0,0 @@
-use std::collections::btree_map::{IterMut, OccupiedEntry, RangeMut, VacantEntry};
-
-fn iter_cov_key<'a, 'new>(v: IterMut<'a, &'static (), ()>) -> IterMut<'a, &'new (), ()> {
- v
- //~^ lifetime may not live long enough
-}
-fn iter_cov_val<'a, 'new>(v: IterMut<'a, (), &'static ()>) -> IterMut<'a, (), &'new ()> {
- v
- //~^ lifetime may not live long enough
-}
-fn iter_contra_key<'a, 'new>(v: IterMut<'a, &'new (), ()>) -> IterMut<'a, &'static (), ()> {
- v
- //~^ lifetime may not live long enough
-}
-fn iter_contra_val<'a, 'new>(v: IterMut<'a, (), &'new ()>) -> IterMut<'a, (), &'static ()> {
- v
- //~^ lifetime may not live long enough
-}
-
-fn range_cov_key<'a, 'new>(v: RangeMut<'a, &'static (), ()>) -> RangeMut<'a, &'new (), ()> {
- v
- //~^ lifetime may not live long enough
-}
-fn range_cov_val<'a, 'new>(v: RangeMut<'a, (), &'static ()>) -> RangeMut<'a, (), &'new ()> {
- v
- //~^ lifetime may not live long enough
-}
-fn range_contra_key<'a, 'new>(v: RangeMut<'a, &'new (), ()>) -> RangeMut<'a, &'static (), ()> {
- v
- //~^ lifetime may not live long enough
-}
-fn range_contra_val<'a, 'new>(v: RangeMut<'a, (), &'new ()>) -> RangeMut<'a, (), &'static ()> {
- v
- //~^ lifetime may not live long enough
-}
-
-fn occ_cov_key<'a, 'new>(v: OccupiedEntry<'a, &'static (), ()>)
- -> OccupiedEntry<'a, &'new (), ()> {
- v
- //~^ lifetime may not live long enough
-}
-fn occ_cov_val<'a, 'new>(v: OccupiedEntry<'a, (), &'static ()>)
- -> OccupiedEntry<'a, (), &'new ()> {
- v
- //~^ lifetime may not live long enough
-}
-fn occ_contra_key<'a, 'new>(v: OccupiedEntry<'a, &'new (), ()>)
- -> OccupiedEntry<'a, &'static (), ()> {
- v
- //~^ lifetime may not live long enough
-}
-fn occ_contra_val<'a, 'new>(v: OccupiedEntry<'a, (), &'new ()>)
- -> OccupiedEntry<'a, (), &'static ()> {
- v
- //~^ lifetime may not live long enough
-}
-
-fn vac_cov_key<'a, 'new>(v: VacantEntry<'a, &'static (), ()>)
- -> VacantEntry<'a, &'new (), ()> {
- v
- //~^ lifetime may not live long enough
-}
-fn vac_cov_val<'a, 'new>(v: VacantEntry<'a, (), &'static ()>)
- -> VacantEntry<'a, (), &'new ()> {
- v
- //~^ lifetime may not live long enough
-}
-fn vac_contra_key<'a, 'new>(v: VacantEntry<'a, &'new (), ()>)
- -> VacantEntry<'a, &'static (), ()> {
- v
- //~^ lifetime may not live long enough
-}
-fn vac_contra_val<'a, 'new>(v: VacantEntry<'a, (), &'new ()>)
- -> VacantEntry<'a, (), &'static ()> {
- v
- //~^ lifetime may not live long enough
-}
-
-
-fn main() { }