Aaron Eline
Aaron Eline
Looks like this is an issue with MacOS `poll()`, doesn't seem like it supports block devices. (https://nathancraddock.com/blog/macos-dev-tty-polling/). I'm happy to work on supporting this, I see two ways of going...
> sorted in Leopard lol. Like I said, happy to hack on this if you'd like me to
Blog post on the trick `uv` does, I'll start down this road: https://code.saghul.net/2016/05/libuv-internals-the-osx-select2-trick/
If maintainers would prefer this being on the `tokio_unstable` feature happy to change that
Looks like the big requirement is being able to observe a task id without allocating
Yes. I managed to minimize the test case: ```rust #[kani::proof] fn foo() { smol_str::SmolStr::new("foo"); } ``` Causes: ``` error: could not compile `cedar-policy-core` (lib); 7 warnings emitted error: Failed to...
(Note that `Name` uses `smolstr` internally)