Support each_ref and each_mut in [T; N] in constant expressions.

[bjoernager]

Tracking issue: #133289

The methods <[T; N]>::each_ref and <[T; N]>::each_mut can easily be reimplemented to allow marking them with the const specifier.

This specific implementation takes a different approach than the original as to avoid using iterators (which are illegal in constant expressions).

[rustbot]

r? @jhpratt

rustbot has assigned @jhpratt.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

[bjoernager]

r? libs-api

@rustbot label +T-libs-api -T-libs

[bjoernager]

Should lifetimes be explicit here or can the compiler still deduce that they derive from that of self?

[bjoernager]

E.g.:

pub const fn each_ref<'a>(&'a self) -> [&'a T; N];

[jhpratt]

Should lifetimes be explicit here or can the compiler still deduce that they derive from that of self?

Not an issue; the compiler is able to infer them as intended.

[jhpratt]

@bors r+

[bors]

📌 Commit 7c799c3 has been approved by jhpratt

It is now in the queue for this repository.