trait Foo {}
impl Foo for (u64, u64) {}

struct Bar where (u64, u64): Foo {}

fn main() {
}