Function must_alias

pub fn must_alias(
    context: &Context<'_>,
    val1: Value,
    len1: u64,
    val2: Value,
    len2: u64,
) -> bool

Are memory ranges [val1, val1+len1] and [val2, val2+len2] exactly the same? Conservatively returns false if cannot statically determine.