Comment by lmm

> Foo<T> where for<‘a> T: Bar<‘a, baz(): Send>

But there's literally none of that in the example we're talking about. It's just an inert datatype declaration. And if anything the Zig version is more abstract - for the Rust version I have to understand <T>, whereas for the Zig version I have to understand comptime, Self, and @.