Compilers can already do this:

https://godbolt.org/z/jMMa8n48r

Yes, putting them into structs is a missing feature. It is not in the draft because no compiler can do it and their is no implementation experience. I am working on it.