Post tax Roth-401k's are a thing. When you quit your job and roll it over to your personal account they also go into your Roth ira. But your point still stands.

https://www.investopedia.com/terms/r/roth401k.asp