Comment by tpict

Yep, it will flag any references to variables in the outer scope that it doesn’t know for certain are stable.