{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":".skip_binders()"}]}
                            .skip_binders()
                            )
                            .as_slice(Interner),