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