src/test/ui/recursion/issue-26548-recursion-via-normalize.rs

   1 //~ ERROR cycle detected when computing layout of `core::option::Option<S>`
   2 //~| NOTE ...which requires computing layout of `S`...
   3 //~| NOTE ...which requires computing layout of `core::option::Option<<S as Mirror>::It>`...
   4 //~| NOTE ...which again requires computing layout of `core::option::Option<S>`, completing the cycle
   5 //~| NOTE cycle used when computing layout of `core::option::Option<<S as Mirror>::It>`
   6
   7 trait Mirror {
   8     type It: ?Sized;
   9 }
  10 impl<T: ?Sized> Mirror for T {
  11     type It = Self;
  12 }
  13 struct S(Option<<S as Mirror>::It>);
  14
  15 fn main() {
  16     let _s = S(None);
  17 }