tests/ui/borrowck/issue-23338-params-outlive-temps-of-body.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

// run-pass
// This is largely checking that we now accept code where temp values
// are borrowing from the input parameters (the `foo` case below).
//
// Compare to run-pass/issue-23338-params-outlive-temps-of-body.rs
//
// (The `foo2` case is just for parity with the above test, which
//  shows what happens when you move the `y`-binding to the inside of
//  the inner block.)

use std::cell::RefCell;

fn foo(x: RefCell<String>) -> String {
    x.borrow().clone()
}

fn foo2(x: RefCell<String>) -> String {
    let y = x;
    let ret = {
        y.borrow().clone()
    };
    ret
}

pub fn main() {
    let r = RefCell::new(format!("data"));
    assert_eq!(foo(r), "data");
    let r = RefCell::new(format!("data"));
    assert_eq!(foo2(r), "data");
}