Update rustdoc to last rustc trait solving update

[GuillaumeGomez]

As seen in here.

[weiznich]

Is there any pointer what exactly needs to be changed where?

[GuillaumeGomez]

No, apparently there is nothing left to update on rustdoc. The problem still lies here.