fix TypesafetyCheck_BindMemberForChoice test