Thanks for your analysis. ​This solution sounds fine to me: ​as you say, in general it's impossible to tell exactly what went wrong, but we can warn the user so that the unfortunate result I described is not obtained silently.