diff --git a/vmm/src/device_manager.rs b/vmm/src/device_manager.rs index 44b872a59..ec58b86bd 100644 --- a/vmm/src/device_manager.rs +++ b/vmm/src/device_manager.rs @@ -2528,12 +2528,9 @@ impl DeviceManager { snapshot: Option<&Snapshot>, ) -> DeviceManagerResult> { let serial_config = self.config.lock().unwrap().serial.clone(); - if console_info.is_none() { + let Some(console_info) = console_info else { return Err(DeviceManagerError::InvalidConsoleInfo); - } - - // SAFETY: console_info is Some, so it's safe to unwrap. - let console_info = console_info.unwrap(); + }; let serial_writer: Option> = match console_info.serial { ConsoleTransport::File(ref file) | ConsoleTransport::Tty(ref file) => {