{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"for"}]}
    for error in errors {
        if let ObligationCauseCode::WhereClause(def_id, _) = *error.root_obligation.cause.code()