{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"clause.clone(),"}]}
                            clause.clone(),
                            &obligation.free_vars,
                            Interner,