how about sizeof(((type *)1)->member) ?

[Kyle Jones]

If sizeof(((type *)0)->member) is forbidden, then is
sizeof(((type *)1)->member) forbidden as well, in pANS
conforming programs?  The latter has all the functionality
of the former and would be a useful alternative.