Add documentation about `for` used as higher ranked trait bounds
Add documentation about `for` used as higher ranked trait bounds

Resolves #55416

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