{"ast_node_type":"impl","tokens":[{"end":44,"kind":"keyword","start":0,"text":"//"}]}
        // Allow `impl AutoTrait` predicates
        if let WhereClause::Implemented(TraitRef { trait_id, substitution }) = pred {