ices/79518.rs: fixed with errors

[github-actions]

Issue: rust-lang/rust#79518

#![allow(incomplete_features)]
#![feature(const_generics, const_evaluatable_checked)]

use std::mem;

pub trait HardcodedPayload {
    type ArrayType: AsRef<[u8]> + AsMut<[u8]> + Default + PartialEq;
    const PAYLOAD: Self::ArrayType;

    fn test() where [u8; mem::size_of::<Self::ArrayType>()]: Sized + PartialEq { //workaround for `[u8; N]`
        let mut buf = [0u8; mem::size_of::<Self::ArrayType>()];
        //*insert read here*
        if buf == Self::PAYLOAD {} //crashed here
    }
}

pub struct UserStruct {
    _a: i32,
}

impl HardcodedPayload for UserStruct {
    type ArrayType = [u8; 2];
    const PAYLOAD: Self::ArrayType = [0xff, 0xff];
}

fn main() {}

=== stdout ===
=== stderr ===
error[E0308]: mismatched types
  --> /home/runner/work/glacier/glacier/ices/79518.rs:13:19
   |
13 |         if buf == Self::PAYLOAD {} //crashed here
   |                   ^^^^^^^^^^^^^ expected array `[u8; _]`, found associated type
   |
   = note:        expected array `[u8; _]`
           found associated type `<Self as HardcodedPayload>::ArrayType`
   = help: consider constraining the associated type `<Self as HardcodedPayload>::ArrayType` to `[u8; _]`
   = note: for more information, visit https://doc.rust-lang.org/book/ch19-03-advanced-traits.html

error: aborting due to previous error

For more information about this error, try `rustc --explain E0308`.
==============