Function python_comprehension_binds_name_at_bounded 

pub fn python_comprehension_binds_name_at_bounded(
    name: &str,
    reference: Node<'_>,
    source: &str,
    scope_step: impl FnMut() -> bool,
) -> Option<bool>

The same scope proof under the caller’s work/cancellation ledger. An interrupted walk must not be interpreted as an unbound name.