third_last_continuation_byte

Function third_last_continuation_byte 

Source
pub open spec fn third_last_continuation_byte(scalar: u32) -> u8
Expand description
recommends
has_width_4_encoding(scalar),
{ 0x80 | ((scalar >> 12) & 0x3F) as u8 }

The third-to-last continuation byte of the UTF-8 encoding of the given scalar value, assuming that the scalar has a 4-byte UTF-8 encoding.