1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
//check-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] struct Foo<const N: usize> where [(); N + 1]: ; impl<const N: usize> Drop for Foo<N> where [(); N + 1]: , { fn drop(&mut self) {} } fn main() {}