src/test/ui/borrowck/issue-7573.rs

   1 // Copyright 2013 The Rust Project Developers. See the COPYRIGHT
   2 // file at the top-level directory of this distribution and at
   3 // http://rust-lang.org/COPYRIGHT.
   4 //
   5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
   6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
   7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
   8 // option. This file may not be copied, modified, or distributed
   9 // except according to those terms.
  10
  11
  12 pub struct CrateId {
  13     local_path: String,
  14     junk: String
  15 }
  16
  17 impl CrateId {
  18     fn new(s: &str) -> CrateId {
  19         CrateId {
  20             local_path: s.to_string(),
  21             junk: "wutevs".to_string()
  22         }
  23     }
  24 }
  25
  26 pub fn remove_package_from_database() {
  27     let mut lines_to_use: Vec<&CrateId> = Vec::new();
  28         //~^ NOTE cannot infer an appropriate lifetime
  29     let push_id = |installed_id: &CrateId| {
  30         //~^ NOTE borrowed data cannot outlive this closure
  31         //~| NOTE ...so that variable is valid at time of its declaration
  32         lines_to_use.push(installed_id);
  33         //~^ ERROR borrowed data cannot be stored outside of its closure
  34         //~| NOTE cannot be stored outside of its closure
  35     };
  36     list_database(push_id);
  37
  38     for l in &lines_to_use {
  39         println!("{}", l.local_path);
  40     }
  41
  42 }
  43
  44 pub fn list_database<F>(mut f: F) where F: FnMut(&CrateId) {
  45     let stuff = ["foo", "bar"];
  46
  47     for l in &stuff {
  48         f(&CrateId::new(*l));
  49     }
  50 }
  51
  52 pub fn main() {
  53     remove_package_from_database();
  54 }