{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                predicates.map(|it| it.into_value_and_skipped_binders().0)
            TyKind::Placeholder(idx) => {