If it's proven then we can add a new pointless compiler optimization (some of them are already allowed to assume some things never terminate, even)
https://twitter.com/badamczewski01/status/142826257042792857...
(Obviously a subjective question in practice, so chances are you might need to add a bit of qualification)