last_continuation_byte

vstd::utf8

Function last_continuation_byte 

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

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