mirror of https://github.com/rust-lang/rust
36 lines
776 B
Rust
36 lines
776 B
Rust
//@ 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() { }
|