You don't have any such guarantees. But your test would have to be broken in the same way that your real code is broken, not in some different way.

Well, if the test is accidentally testing the wrong input/output pairs, your code can pass the test perfectly and still be broken. Especially if you follow the "build to the test" mantra.