Context bounds in poly functions, eg: ```scala val less0: [X: Ord] => (X, X) => Boolean = ??? ``` are currently documented as: ```scala val less0: [X] => (X, X) => Ord[X] ?=> Boolean ``` They could be documented as in the source code: ```scala val less0: [X: Ord] => (X, X) => Boolean ``` See #22019
