Rollup merge of #81550 - xfix:replace-mention-of-predecessor, r=jonas-schievink
Rollup merge of #81550 - xfix:replace-mention-of-predecessor, r=jonas-schievink

Replace predecessor with range in collections documentation

Fixes #81548.

aidancully/rust,graydon/rust,graydon/rust,graydon/rust,aidancully/rust,aidancully/rust,graydon/rust,graydon/rust,aidancully/rust,aidancully/rust,graydon/rust,aidancully/rust