Notwithstanding any other law to the contrary, a state judge shall receive full retirement credit for service rendered after such judge's seventieth birthday.
Retirement credit for state judges
Tenn. Code Ann. § 8-34-715, under Superseded Systems.
Tenn. Code Ann. § 8-34-715