Pre-Pre-RFC: Field offsets

I will point out that the size of T.U does leak “private” information, insofar that I can tell if a struct as more than one field of a particular type by measuring size_of::<T.U>(), but doing that would just be plain silly!