//@ check-pass
#![feature(generic_const_exprs)]
#![allow(incomplete_features)]
#[derive(Clone)]
struct Bar<const A: usize, const B: usize>
where
[(); A as usize]:,
[(); B as usize]:,
{}
fn main() {}