In some firms, the true-up employer match for year X is received the next year (i.e., year X + 1), but it counts toward the 401(k) contributions for year X.
One of the main reasons why the employer match for year X may be received the next year (i.e., year X + 1) is that the employer may need to wait till the end of the year to be able to know the exact eligible compensation of an employee in order to compute the true-up employer match.
If the true-up employer match goes beyond the 401(k) maximum contribution as defined in IRS 415(c)(1)(A) (mirror) (54kUSD in 2017, 55kUSD in 2018), is it possible for the employee to get the full true-up employer match and in return undo past of their 401(k) contributions so as to not go over the 401(k) maximum contribution limit?
Since this question has received no answer so far, I have crossposted the question at: