// Test that we don't hit the recursion limit for short cycles involving lifetimes.// Shouldn't hit this, we should realize that we're in a cycle sooner.#![recursion_limit="20"]traitNotAuto{}traitY{typeP;}impl<'a>YforC<'a>{typeP=Box<X<C<'a>>>;}structC<'a>(&'a());structX<T:Y>(T::P);impl<T:NotAuto>NotAutoforBox<T>{}
impl<'a>NotAutoforC<'a>{}fnis_send<S:NotAuto>(){}//~^ NOTE: requiredfnmain(){// Should only be a few notes.is_send::<X<C<'static>>>();//~^ ERROR overflow evaluating}