You’re right to think this is impossible though. Grover’s algorithm was one of the first examples of something that clearly could not ever exist classically.