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!

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??