🚀 go-pugleaf

USENET News System wrote:
> 
> /* Under the Microsoft Visual C++ 2.0 and 4.0 the following
>     was observed. */
> 
> typedef struct  { int a; int b; } *TA;
> typedef struct  { int a; int b; }  *TB;
> 
> void
> f( TA x, TB y )
> {
>   f ( y, x);            /* This compiles fine */
> }

I think VC++ has this right.  Section 6.1.2.6 of the standard says:

    Moreover, two structure, union, or enumeration types declared
    in separate translation units are compatible if they have the
    same number of members, the same member names, and compatible
    member types; for two structures, the members shall be in the
    same order...

Of course, this mentions "separate translation units", which
doesn't apply in this case, so perhaps my reading is incorrect.

I'm assuming here that you're treating this as a C source file,
and not a C++ file.  I'll let someone else determine whether
this is valid C++ or not.