Alan Zimmerman authored Jul 06, 2023 and Marge Bot committed Jul 19, 2023

Ensure the LHsDecl for a FunBind has the correct leading comments and
trailing annotations.

See the added note for details.