1 // Test that the variance computation considers types that
2 // appear in const expressions to be invariant.
4 #![feature(rustc_attrs)]
5 #![allow(incomplete_features)]
6 #![feature(generic_const_exprs)]
13 struct Foo<T: Trait> { //~ ERROR [o]
14 field: [u8; <T as Trait>::Const]