SeeSpring

Looks good. I think pinning `sudo apt-get install libz3-dev` to whatever version bindgen is generated against would also be useful to prevent missing symbols from occurring again. This also reminds...

If we don't pin, then if a user uses the z3 crate on Ubuntu with `static-link-z3` off, they might end up getting linking errors despite CI passing. Forcing users to...

At least in CI, it seems that https://github.com/prove-rs/z3.rs/blob/bb57297b9bde32071f630f41173000cdbf74bdfc/.github/workflows/rust.yml#L61-L64 results in compiling z3 twice. I'm not sure how to fix it though

I have a implementation at https://github.com/SeeSpring/placement_new_macros. I'm not sure that there's a way to make this safe since if the user passes in a packed struct the macro will create...

Would something like ```rust macro_rules! hashset { (@single $($x:tt)*) => (()); (@count $($rest:expr),*) => (::len(&[$(hashset!(@single $rest)),*])); (@r [$($ks:expr,)*] $k:expr, $($xs:tt)*) => { { match $k { k => hashset!(@r [$($ks,)*...

Playground minimization https://play.swc.rs/?version=1.7.24&code=H4sIAAAAAAAAA0utKMgvKlFIK81LLsnMz1NI06jQUUjJLC7RrOZSUKhQ0LYF86xhHPWCCnUQpyi1pLQoT6GCqxYA06QZKUIAAAA%3D&config=H4sIAAAAAAAAA32VPZLbMAyFe5%2FCozpFmqTIAdLlDByaBGU6IqEhQK81O757oD%2FvJgHVWfgeBPMBhN5P53N3I9f9OL%2FLT3kYbSEor2eJ0JTZPiTSgUuWXIkjd192eqMZBTsQLKHnSjq2pQdesujbJu8GRIJdvsVSzDFMnws6TGMBok8xicr7aoLM9Hf%2Bxgq%2BaeCCOIDNR8hYMjEz9FA0mcNhsCOBudsGT2JZJFSLzLQyeDMWHHVB9pEjZokr2IP1xqEHjcUCjuMd1ESpJ4mZ5JAt7OFS%2B35p9r8c7naolrVUeCzNkb%2BswCtGYhOqasYKW06stOFyDKYA16LVvGHMrbzfAGLDYImyTapRiyLIcLXhYWrMQQaYJ4XLtKsnzdCLtSbGoPk7%2BwOFo1qygK8OZoPdAW6YQdGDgRBkalT8Ftld1bI8jYBBI9Jpqx5jBaZ5Mzc%2BX5AD%2FFMOyvqobYpk%2BdqmNKULqjdrTwe%2Boj8QSDsY27jI3niMbV6zBxkQ8Kqkkgrme8uG0QzLBv1%2FQuSmyDtNP%2BBF3xujTPzSya9b7Pla2Mnm%2FmMnrDv7tAm6hL4ucPsazI1fd%2Fj37kO0b%2BxX1S7Srz2TS4XT8w%2FnCM7tWQYAAA%3D%3D Also `x=100,x=x+dist+'px'` should be shorter than `x=100,x+=dist,x+='px'`