src/test/ui/consts/too_generic_eval_ice.rs

pub struct Foo<A, B>(A, B);

impl<A, B> Foo<A, B> {
    const HOST_SIZE: usize = std::mem::size_of::<B>();

    pub fn crash() -> bool {
        [5; Self::HOST_SIZE] == [6; 0] //~ ERROR no associated item named `HOST_SIZE`
        //~^ the size for values of type `A` cannot be known
        //~| the size for values of type `B` cannot be known
    }
}

fn main() {}