// Copyright Kani Contributors
// SPDX-License-Identifier: Apache-2.0 OR MIT
// This is a custom type which is parameterized by a `usize`
pub struct Foo<const N: usize> {
    bytes: [u8; N],
}

const x: Foo<3> = Foo { bytes: [1, 2, 3] };

#[kani::proof]
fn main() {
    assert!(x.bytes[0] == 1);
}