It's kind of obvious from this that either deposits should be guaranteed by law (because in practice FDIC does that now anyway) or the law has to prohibit banks

It's kind of obvious from this that either deposits should be guaranteed by law (because in practice FDIC does that now anyway) or the law has to prohibit banks from investing deposits (unless the account holder instructs the banks to do so, of course).