{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"if"}]}
                        if !a_auto_traits.contains(&def_id) {
                    ty::ExistentialPredicate::AutoTrait(def_id) => {
                            return Err(NoSolution);