//@ 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() { }