| //@ check-pass |
| // This shouldn't cause a stack overflow when rustdoc is run |
| // https://github.com/rust-lang/rust/issues/56701 |
| |
| use std::ops::Deref; |
| use std::ops::DerefMut; |
| |
| pub trait SimpleTrait { |
| type SimpleT; |
| } |
| |
| impl<Inner: SimpleTrait, Outer: Deref<Target = Inner>> SimpleTrait for Outer { |
| type SimpleT = Inner::SimpleT; |
| } |
| |
| pub trait AnotherTrait { |
| type AnotherT; |
| } |
| |
| impl<T, Simple: SimpleTrait<SimpleT = Vec<T>>> AnotherTrait for Simple { |
| type AnotherT = T; |
| } |
| |
| pub struct Unrelated<Inner, UnrelatedT: DerefMut<Target = Vec<Inner>>>(UnrelatedT); |
| |
| impl<Inner, UnrelatedT: DerefMut<Target = Vec<Inner>>> Deref for Unrelated<Inner, UnrelatedT> { |
| type Target = Vec<Inner>; |
| |
| fn deref(&self) -> &Self::Target { |
| &self.0 |
| } |
| } |
| |
| |
| pub fn main() { } |