Doesn't that mean that all code written so far can't take up newer versions of the Go compiler for any other reason like new features/bugfixes/optimizations/etc without a full audit of codepaths involving for loops?
(that same adage applies to e.g. browser manufacturers having to implement bugs to not break certain websites)