May be reached with uninitalized `result`