(s: b_lean_obj_arg, i: b_lean_obj_arg)
| 86 | |
| 87 | #[inline(always)] |
| 88 | pub unsafe fn lean_string_utf8_get_fast(s: b_lean_obj_arg, i: b_lean_obj_arg) -> u32 { |
| 89 | let st = lean_string_cstr(s); |
| 90 | let idx = lean_unbox(i); |
| 91 | let c = *st.add(idx); |
| 92 | if c & 0x80 == 0 { |
| 93 | c as u32 |
| 94 | } else { |
| 95 | lean_string_utf8_get_fast_cold(st, idx, lean_string_size(s), c) |
| 96 | } |
| 97 | } |
| 98 | |
| 99 | #[inline(always)] |
| 100 | pub unsafe fn lean_string_get_byte_fast(s: b_lean_obj_arg, i: b_lean_obj_arg) -> u8 { |
nothing calls this directly
no test coverage detected