{"ast_node_type":"variable","tokens":[{"end":53,"kind":"keyword","start":0,"text":"if"}]}
                    if let ty::Param(_) = ty.kind() {
                if bound_pred.bounds.is_empty() {
                        // We can skip the predicate because type parameters are trivially WF.