{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"Substitution::empty(Interner),"}]}
                                    Substitution::empty(Interner),
                                    deref_fn,
                                );