src/test/ui/occurs-check-2.rs

   1 #![feature(box_syntax)]
   2
   3 fn main() {
   4     let f;
   5     let g;
   6     g = f;
   7     f = box g;
   8     //~^  ERROR mismatched types
   9     //~| cyclic type of infinite size
  10 }