Document which trait bounds are implicit available for functions

[steveklabnik]

Originally filed as rust-lang/rust#34106

Basically, rust-lang/rust#28055 (comment) should probably be put into https://doc.rust-lang.org/reference/items/traits.html#supertraits somehow.