Test for GADTs without records syntax was added
names binding of record fields of GADTs