Checks if members in the impl have a same order as in the trait.