HRS §88-13
No bonus for retirees getting Social Security from state work
This section says that if you retire on or after July 1, 1957, and you get Social Security benefits that are based partly or fully on contributions from the State of Hawaii or its local governments, you cannot receive a bonus. It only applies to that specific situation.
The statute, as written — Bonus; retirants not eligible for
No bonus shall be paid to any person who retires on or after July 1, 1957, and who will receive or who is receiving social security benefits when said benefits are based in whole or in part upon contributions made by the State or any of its political subdivisions.
LawTrove is not legal advice. The summary above is a computer-generated restatement — the authoritative text is the official version linked above.