I clearly don't understand something about implications. Could you please elaborate or give a link to read about it? What is branch correctness? How could it be

I clearly don't understand something about implications. Could you please elaborate or give a link to read about it? What is branch correctness? How could it be exploited? How does sanitization prevent it? sqlx looks like a usual builder, I don't see nothing criminal about it.