static union U { int a; } static assert(__traits(compiles, assertIsPartOfUnion!(U, int))); static assert(!__traits(compiles, assertIsPartOfUnion!(U, string)));
See Implementation