rustdoc: Turn next_def_id
comments into docs
#80744
Merged
next_def_id
comments into docs
#80744