{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"}"}]}
                        }
                            current_ty = self.tcx.normalize_erasing_regions(self.typing_env, f_ty);
                        ty::Adt(adt_def, args) => {