Va. Code § 51.1-167
Current with changes from the 2024 legislative session through ch. 845
In the case of any state employee whose compensation is not paid exclusively out of the state treasury and in the case of any teacher whose compensation is paid out of any fund not derived from local revenues or state appropriations, if any contributor other than the Commonwealth is in default in the payment of any required contribution, the total retirement allowance to which the employee would have been entitled but for the default shall be reduced by the amount of the retirement allowance provided by the defaulted contribution.
Va. Code § 51.1-167