{"ast_node_type":"variable","tokens":[{"end":80,"kind":"keyword","start":0,"text":"let"}]}
            let trait_data = db.trait_signature(from_chalk_trait_id(*trait_id));
        if let WhereClause::Implemented(TraitRef { trait_id, substitution }) = pred {
            if trait_data.flags.contains(TraitFlags::AUTO)