does that mean:
struct _Record liba_vec2{float x,y,z;};
struct _Record libb_vec2{float x,y,z;};
liba_vec2 v ={};
libb_vec2 v2 = v; // compatible, assignable
libb_vec2* v_alias =&v; // compatible, ... alias-able??
An object shall have its stored value accessed only by an lvalue expression that has one of the following types:85)
— a type compatible with the effective type of the object,
it will. ezpz; this will make life very easy for all of us and make TBAA less of a pain!
