Hi, I'm trying to make changes to address this comment by @oli: https://github.com/rust-lang/miri/pull/1495/files#r464038285
When I try to pass the returned
Box<dyn FileDescriptor> to the
as_file_handle method, I get this error:
expected signature of `fn(std::boxed::Box<dyn shims::posix::fs::FileDescriptor<'tcx>>) -> _`
Is my understanding correct that this is due to the compiler not finding the impl for the Boxed trait object?