Kostis Andrikopoulos
Kostis Andrikopoulos
regarding provenance comment: I wasn't sure if how miri represents type in the machine's memory might conflict with the expected layout for a type. Like if we added that extra...
I have some code for this but before I send anything stupid for review I have 2 questions: - Regarding the mutex kind: From what I understand, static initializers set...
This can't be closed yet. The above mentioned commit only implements the move detection for mutexes.
Yes. I started to prepare a PR a few days ago, but then life got a bit busy. I need to add a test and polish it a bit.
tl;dr: It might be allowed by the posix standard to move synchornization objects after initialization, when a flag in the `kind` is set. Maybe you were already aware of this...
Would it make any sense to split the argv in the before and after `--` part, and use [`clap::Parser::parse_from`](https://docs.rs/clap/latest/clap/trait.Parser.html#method.parse_from) for the first part, and forward the second part?