1 2 3 4 5 6 7
use kasuari::Solver; #[test] fn solver_is_send_sync() { const fn assert_send_sync<T: Send + Sync>() {} assert_send_sync::<Solver>(); }