Re: [PATCH v3 03/12] rust: xarray: add `contains_index` method

From: Andreas Hindborg

Date: Thu Feb 12 2026 - 07:47:34 EST


"Miguel Ojeda" <miguel.ojeda.sandonis@xxxxxxxxx> writes:

> On Thu, Feb 12, 2026 at 11:52 AM Andreas Hindborg <a.hindborg@xxxxxxxxxx> wrote:
>>
>> Apparently this kind of code used to be OK [1] but the Rust devs decided
>
> I don't think it used to be OK -- I think that issue was talking about
> code that required non-lexical lifetimes, which was an unstable
> feature back then, and the behavior changed while they worked on it.

Right. The devil is in the details. My point is that the analysis to
support this was deemed to be too computationally expensive to roll out,
but the intention is to achieve a similar analysis at some point in the
future, via Polonius.

Best regards,
Andreas Hindborg