From d7d7a9a1627fd75d49ae9516a531154726d6190d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Matthias=20Kr=C3=BCger?= Date: Sun, 22 May 2022 21:47:44 +0200 Subject: [PATCH] [NFC] shims: fs: fmt --- src/shims/posix/fs.rs | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/shims/posix/fs.rs b/src/shims/posix/fs.rs index dec1e978168..3fcbbb803ea 100644 --- a/src/shims/posix/fs.rs +++ b/src/shims/posix/fs.rs @@ -31,16 +31,19 @@ trait FileDescriptor: std::fmt::Debug { communicate_allowed: bool, bytes: &mut [u8], ) -> InterpResult<'tcx, io::Result>; + fn write<'tcx>( &self, communicate_allowed: bool, bytes: &[u8], ) -> InterpResult<'tcx, io::Result>; + fn seek<'tcx>( &mut self, communicate_allowed: bool, offset: SeekFrom, ) -> InterpResult<'tcx, io::Result>; + fn close<'tcx>( self: Box, _communicate_allowed: bool,