1 2 3 4 5 6 7
// check-pass trait Foo {} impl Foo for dyn Send {} impl<T: Sync + Sync> Foo for T {} fn main() {}