rustdoc doesn't render HRTBs

[WaffleLapkin]

I tried this code:

pub fn test<T>() 
where
    for<'a> &'a T: Iterator,
{}

I expected rustdoc to render HRTB (for<'a>), but it doesn't:

Originally find while viewing keyberon docs.

Meta

rustdoc --version --verbose:

rustdoc 1.49.0-nightly (ffa2e7ae8 2020-10-24)
binary: rustdoc
commit-hash: ffa2e7ae8fbf9badc035740db949b9dae271c29f
commit-date: 2020-10-24
host: x86_64-unknown-linux-gnu
release: 1.49.0-nightly
LLVM version: 11.0

[jyn514]

Hmm, rustdoc should already handle this in

rust/src/librustdoc/html/format.rs

Line 334 in 6bea76f

if !self.generic_params.is_empty() {

, which includes generic lifetimes: PolyTrait, GenericParamDef. Someone would need to investigate why that isn't showing up - I suspect somewhere in clean isn't handling it properly:

rust/src/librustdoc/clean/mod.rs

Line 291 in 6bea76f

impl Clean<GenericBound> for hir::GenericBound<'_> {

[Rustin170506]

@jyn514 Can I working on this? I want to have a try.

[jyn514]

@hi-rustin absolutely! If you have trouble, feel free to ask for help in the rustdoc channel or on Zulip :)

[Rustin170506]

@rustbot claim

[Rustin170506]

I started to try it.

[Rustin170506]

Hmm, rustdoc should already handle this in

rust/src/librustdoc/html/format.rs

Line 334 in 6bea76f

if !self.generic_params.is_empty() {

, which includes generic lifetimes: PolyTrait, GenericParamDef. Someone would need to investigate why that isn't showing up - I suspect somewhere in clean isn't handling it properly:

rust/src/librustdoc/clean/mod.rs

Line 291 in 6bea76f

impl Clean<GenericBound> for hir::GenericBound<'_> {

@jyn514 Do you mean that we are missing generic_params? I tried constructing generic_params, but it still doesn't seem to work.

[jyn514]

@hi-rustin I don't know, that's what I mean by investigate. You could start by checking if generic_params is empty or not, or whether this code path is being taken at all.

[Stupremee]

@rustbot claim

I already found the problem and just need to fix it now!