// check-pass
#![feature(const_generics_defaults)]

#[derive(Clone, PartialEq, Debug)]
struct Example<T, const N: usize = 1usize>([T; N]);

fn main() {
    let a = Example([(); 16]);
    let b = a.clone();
    if a != b {
        let _c = format!("{:?}", a);
    }
}