Function implicit_len

fn implicit_len<'tcx>(
    this: &mut MiriInterpCx<'tcx>,
    str: &OpTy<'tcx>,
    imm: u8,
) -> InterpResult<'tcx, Option<u64>>

Calculate the c-style string length for a given string str. The string is either a length 16 array of bytes a length 8 array of two-byte words.