src/test/ui/variance/variance-associated-consts.rs

   1 // Test that the variance computation considers types that
   2 // appear in const expressions to be invariant.
   3
   4 #![feature(rustc_attrs)]
   5 #![allow(incomplete_features)]
   6 #![feature(generic_const_exprs)]
   7
   8 trait Trait {
   9     const Const: usize;
  10 }
  11
  12 #[rustc_variance]
  13 struct Foo<T: Trait> { //~ ERROR [o]
  14     field: [u8; <T as Trait>::Const]
  15 }
  16
  17 fn main() { }