Function lemma_u8_ilog2_to8 Copy item path

(0x1 as u8).ilog2() == 0,

(0x2 as u8).ilog2() == 1,

(0x4 as u8).ilog2() == 2,

(0x8 as u8).ilog2() == 3,

(0x10 as u8).ilog2() == 4,

(0x20 as u8).ilog2() == 5,

(0x40 as u8).ilog2() == 6,

(0x80 as u8).ilog2() == 7,