I don't know if it's idiomatic, but you can see me trying to do that here. I ran into the issue that there is no good way (AFAICT) to match trait bounds. We were able to make it work in some limited cases. I'm kinda surprised we don't have something like $b:bounds.
1 Like