tests/ui/coroutine/yield-in-args-rev.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

//@ run-pass
#![allow(dead_code)]

// Test that a borrow that occurs after a yield in the same
// argument list is not treated as live across the yield by
// type-checking.

#![feature(coroutines)]

fn foo(_a: (), _b: &bool) {}

fn bar() {
    #[coroutine] || { //~ WARN unused coroutine that must be used
        let b = true;
        foo(yield, &b);
    };
}

fn main() { }