Nikolai Vazquez

@Wolg I added this a while back and it still has yet to be merged.

@mjbshaw what progress have you made since your comment? I'm looking to have static selectors for my project (issue: https://github.com/nvzqz/fruity/issues/2).

@mjbshaw I'm curious if you run into https://github.com/rust-lang/rust/issues/80019 and if so, how you get past it.

@mjbshaw I didn't know that was the secret sauce to make it work. I just tested making a selector with those symbols and having an objc image info static. I'm...

I'm a fan of both `binocular` and `bincat`

Is this not already achievable with `assert_impl!(Type, Send)`? However, reading the comment by @betamos, it seems they want to assert that an expression is sendable. In which case, I guess...

Sorry for my silence on this issue. I'd rather limit the complexity of this crate and not add the option to turn compile errors into runtime errors. If you want...

I came up with this which seems to work fine ([playground](https://play.rust-lang.org/?version=nightly&mode=debug&edition=2018&gist=96b8481aa3823c25af07aed63238773a)): ```rust macro_rules! assert_type_in { ($t:ty: $($l:ty),+ $(,)*) => { { trait InList {} $(impl InList for $l {})+ fn...

@skade Just added [`assert_obj_safe`](https://docs.rs/static_assertions/0.2.1/static_assertions/#assert-object-safety), which is in release [v0.2.1](https://github.com/nvzqz/static-assertions-rs/releases/tag/v0.2.1).

Here's a sample definition of a macro that would assert certain traits are implemented. ```rust macro_rules! assert_impl { ($x:ty, $($xs:ty),+) => { $({ fn _gen() {} _gen::(); })+ }; ($label:ident;...