tests/ui/wf/wf-static-type.rs

   1 // Test that we check the types of statics are well-formed.
   2
   3 #![feature(associated_type_defaults)]
   4
   5 #![allow(dead_code)]
   6
   7 struct IsCopy<T:Copy> { t: T }
   8 struct NotCopy;
   9
  10 static FOO: IsCopy<Option<NotCopy>> = IsCopy { t: None };
  11 //~^ ERROR E0277
  12
  13
  14 fn main() { }