I don't know what downvoters were thinking. So I'll take a blind shot at explaining. I didn't say that Rice's theorem wasn't true. I said that in this case it

I don't know what downvoters were thinking. So I'll take a blind shot at explaining. I didn't say that Rice's theorem wasn't true. I said that in this case it doesn't matter. If program fails to compile, you don't give up because of Rice's theorem, you modify program to make it compile. Will it make program less efficient? Who knows. There's no theorem about that. Most likely it will.