I think it will be counterproductive to encouraging personal ownership of retirement savings. The 401k match "free money" is what gets most people aware of 401ks. By attaching the match to debt repayment you're not encouraging saving anymore. The onus on retirement savings is pushed back on the employer versus the employee (exact opposite of where US has been heading). I can picture someone being naively happy they've been "saving" for retirement, but in reality it's just the tiny 3% the employer puts in. So accounts are drastically underfunded while the public thinks they're ahead of the game. The threshold for getting a match is usually low (3-4% of salary) and pretty obtainable for just about anyone. You should be able to contribute enough to a 401k to get the match AND pay down debt (although slightly slower pace). It also encourages using critical thinking (dare I say math?) to evaluate cost-benefit. Saving 10%+ taxes on money and getting a match is almost always mathematically better than straight paying down student loan debt. This sounds like something that's getting passed just to make people feel better that will have almost no real impact.
I disagree, depending on how the loan payback works.
Not everyone even maxes out their matched money now! One of the big reasons listed is because they don't have enough take home pay for bills. Something that goes into a 401k is money that (hopefully) can't be touched for a long time. If those dollars are now being used to pay student loans and it lessens the monthly required amount from someone's take home pay - then I would think it would be better from a cash flow perspective and thus encourage those with student loans to make the most of saving for retirement.
How is that discouraging to saving? If someone put in 5% to get a 5% match and now that match is
optionally replaced with student loan payback, why would someone all of a sudden drop below 5%, especially now that one of their major bills is being partially or wholly paid? Now, they're only hurting themselves with the amount of money their employer will throw at their loan. I don't follow that nor your logic about taxes. I don't get a tax break on what my employer matches to my 401k. At worst, it seems neutral with respect to saving for retirement.