Write text in str16 format, max of 0xFFFF bytes

Require: text.byte_length <= 0xFFFF

Property definitions

msgpack :: write $ Writer :: write_msgpack_str16
	# Write `text` in _str16_ format, max of 0xFFFF bytes
	#
	# Require: `text.byte_length <= 0xFFFF`
	fun write_msgpack_str16(text: Text)
	do
		var len = text.byte_length
		assert len <= 0xFFFF

		write_byte 0xDA
		var len_bytes = len.to_bytes
		write_byte len_bytes[0]
		write_byte if len_bytes.length > 1 then len_bytes[1] else 0
		write text
	end
lib/msgpack/write.nit:199,2--212,4