Comment by antonvs

To be even more precise, it rules out hidden variable theories that satisfy Bell locality, i.e. the assumptions that the theorem makes.

Superdeterminism and retrocausality both allow for local hidden variables - it’s just that they don’t satisfy Bell’s assumptions.