Lantigua will get service time for the remaining ten days of the season (see below) - and he will not be charged with "using up an option year" (that requires 20 days on optional assignment during the regular season).
Rule 7(f)(1) stipulates:
Any player optioned to a Minor League affiliate or Spring Training
Complex after the third day following Labor Day will receive Major
League service (but not Major League salary) for the period of the
optional assignment, including for any period of designation for players
designated for assignment off of an optional assignment that occurred
after the third day following Labor Day.
This one surprised me; it's inconsistent with MLB's general stinginess to marginal players.