t sets the value of a field by using this property,
all necessary "has" bits are set as a side-effect, and we also perform
type-checking.

Args:
  field: A FieldDescriptor for this field.
  cls: The class we're constructing.
c