{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"db.generic_predicates(def)"}]}
    db.generic_predicates(def)
) -> Vec<chalk_ir::QuantifiedWhereClause<Interner>> {
        .iter()