Hovering a type alias should render documentation of the aliased type if it lacks docs

[Veykril]

/// Docs for S
struct S;

type T = S;

Hovering T should yield the Docs for S documentation.

[dqkqd]

@rustbot claim

[ChayimFriedman2]

I wonder if we should also show the signature of the aliased item, or only its docs. E.g. the docs may refer to its name or type parameters which don't exist in the alias.

[dqkqd]

@ChayimFriedman2
Oh, I had oversimplified this, thinking just traversing upwards to find the docs would be sufficient.

So, in the snippet below, we should show Docs for A instead of Docs for B when hovering to A.

/// Docs for [`B`]
struct B;

type A = B;

By showing type aliases for type parameters, I think we should just keep as is, to avoid showing u32 instead of T in the docs for Box?

type A = Box<u32>

[dqkqd]

Well, I found it rather hard if we need to rename the aliased type in the docs. Seem relate to #8242.

[ChayimFriedman2]

I don't think it's possible to rename the docs. Not every usage is a link, while not every same text is a reference, and modifying only some of the usages will be very confusing.

[dqkqd]

Sorry, I was misreading, I not familiar with the internal and the language yet.

So, we should just show the Docs for B here (maybe with the pub struct B) without pub type A = B ?

[ChayimFriedman2]

No, we should definitely include pub type A = B. My question was whether we also need to include pub struct B.

[Veykril]

Why rename things? Just render the docs of the aliased thing, no need to overcomplicate this (and maybe indicate that its the docs from a different item)

[dqkqd]

Thank you, I'll try implementing this