{"ast_node_type":"variable","tokens":[{"end":90,"kind":"keyword","start":0,"text":"if"}]}
            if let ty::PredicateKind::Clause(ty::ClauseKind::Projection(proj_predicate)) =
            let bound_predicate = predicate.kind();
                bound_predicate.skip_binder()