1 2 3 4 5 6 7 8 9
// check-pass #![feature(target_feature_11)] struct S<T>(T) where [T; (|| {}, 1).1]: Copy; fn main() {}