{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":".clone()"}]}
                    .clone()
                let (predicate, binders) = predicate
                    .substitute(Interner, parameters)