Tv

Okay so https://github.com/capnproto/capnproto-rust/issues/479#issuecomment-1913742538 points out `Reader`s are not safe to `Send` because they borrow the underlying buffer. Hmm.

In my use case, my data source is (moral equivalent of) `Arc`. It'd be nice to have a `Send` or `Send+Sync` `Reader` when the data source happens to be `Send`/`Sync`.

Right now, the mount helper stdout/stderr are logged but not captured in the error. Logging has been more helpful for me as there's too many scenarios where the mount helper...

Reminder to write docs: #1222

I stumbled on a `getrandom` syscall: ``` SUMMARY: ** 8 of 28349 failed (28341 undetermined) Failed Checks: call to foreign "C" function `syscall` is not currently supported by Kani. Please...

I discovered the library to be using HashMap, yes. This is enough to trigger the message about getrandom: ```rust #[cfg(kani)] mod verification { use std::collections::HashMap; #[kani::proof] #[kani::unwind(1)] fn hashmap() {...

Yes, if I litter enough `@ts-expect-error` in the source it stops complaining. I can make progress now, thank you. (It still *shouldn't* complain, and now it's just a minefield of...

This also broke a place where I do ``` const result = (await response.json()) as MyType; ``` with eslint complaining ``` 58:18 error This assertion is unnecessary since it does...

What's really giving me trouble is trying to have a `rocksdb::Transaction` that lives for some seconds at a time, and trying to access it from an async worker pool (forced...

You can do that for the DB, sure, but I need to hold a *transaction* open, which borrows the database and has lifetimes in its type signature; Arc doesn't help...