{"ast_node_type":"variable","tokens":[{"end":60,"kind":"keyword","start":0,"text":"if"}]}
        if let VerifyBound::AllBounds(ref bs) = verify.bound
        // skip no-op cases known to be satisfied
            && bs.is_empty()