{"ast_node_type":"other","tokens":[{"end":16,"kind":"keyword","start":0,"text":"}"}]}
        } else {
            fcx.lowerer().lower_fn_ty(id, header.safety(), header.abi, decl, None, None)
            tcx.fn_sig(def_id).instantiate_identity()