Comment by manmal

You get some superficial checking by the compiler and test cases, but hallucinations that pass both are still an issue.