source: src/tests/ctor-autogen.c @ 8e138da

enum Color { R, G, B };

// empty struct/union should have generated ctor/dtors
union U {};
struct S {};

// struct/union with members with generated ctor/dtors should themselves have generated ctor/dtors
union PopulatedUnion {
        Color c;
        U u;
        S s;
};

struct PopulatedStruct {
        Color state;
        U u;
        S s;
};

forall(otype T)
T identity(T x) { return x; }

int main() {
        S s;
        U u;

        identity(R);  // Color should be an otype
        identity(u);  // U should be an otype
        identity(s);  // S should be an otype

        PopulatedStruct ps;
        PopulatedUnion pu;

        identity(ps); // should recursively be an otype
        identity(pu); // should recursively be an otype
}