test of a fix in a loop exit condition in anontype.c that cause distinct types to be labeled as equal.