src/test/incremental/issue-92987-provisional-dep-node.rs

   1 // revisions: rpass1 rpass2
   2
   3 // Regression test for issue #92987
   4 // Tests that we properly manage `DepNode`s during trait evaluation
   5 // involing an auto-trait cycle.
   6
   7 #[cfg(rpass1)]
   8 struct CycleOne(Box<CycleTwo>);
   9
  10 #[cfg(rpass2)]
  11 enum CycleOne {
  12     Variant(Box<CycleTwo>)
  13 }
  14
  15 struct CycleTwo(CycleOne);
  16
  17 fn assert_send<T: Send>() {}
  18
  19 fn bar() {
  20     assert_send::<CycleOne>();
  21     assert_send::<CycleTwo>();
  22 }
  23
  24 fn main() {}