{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                make::ext::ty_result(fun_ty.make_ty(ctx, module), handler_ty)
            FlowHandler::If { .. } => make::ty("ControlFlow<()>"),