Converts the field values of a record to the given types, according to
the convert bytecode.