Washers, shims "or" spacers are what ends up happening to take up the end float after the parts that are bad are replaced.
Checking wear on the detents that place the shift forks into set positions, detents and springs in the slider assemblies and the shift fork clearances are all part of rebuilding process.
Washers, shims and spacers can also be apart of shoddy repair if worn parts that are borderline bad, are again reused. So washers, shims and spacers have duel usage. I've seen allot of interesting stuff over the years,talked with some "mature" mechanics that worked on these gearboxes at dealerships and some of the "tricks". Funny stuff....