fn test() where (u64, u64): Foo {}