tracef is enough, I just wanted it to be more obvious because I was pretty sure it never happens (and it doesn't, at least in the core test suite).