Array ref to slice coercion fails in generic context

[abonander]

Simplest test case I could come up with:

struct Generic<V> {
    val: V,
}

struct Concrete { 
    val: &'static [i32],
}

// Produces the error
const GENERIC: Generic<&'static [i32]> = Generic { val: &[0] };

const CONCRETE: Concrete = Concrete { val : &[0] };

// Works by coercing in a concrete context
const WORKAROUND: Generic<&'static [i32]> = Generic { val: {const VAL: &'static [i32] = &[0]; VAL } };
// (Type ascription works as well but is gated)

Playground

Produces the following error on stable and nightly (new nightly formatting):

error: mismatched types [--explain E0308]
 --> <anon>:9:42
9 |> const GENERIC: Generic<&'static [i32]> = Generic { val: &[0] };
  |>                                          ^^^^^^^^^^^^^^^^^^^^^ expected slice, found array of 1 elements
note: expected type `Generic<&'static [i32]>`
note:    found type `Generic<&[_; 1]>`

error: aborting due to previous error

Comment out line 9 and it compiles successfully.

I did my best to search for a duplicate but nothing came up, although something tells me this is a known issue already. Sorry if it is actually duplicate.

Note: this is not restricted to generic context, it's just where I discovered it.

[abonander]

Possible duplicate of #31260, but I'll leave it open for ruling.

[abonander]

Nevermind, I'll just comment there.