They're seriously using AI as a judge for what to file?
replyThe issue and none of the comments mention AI. It is pretty clear your parent said it by themselves.
replyI was just checking what outcome an LLM would have based on the patterns in its probabilistic distribution it has seen the wild.
replyMost LLMs would probably say this piece of code won't compile.
chatgpt and grok linked to the the soundness issue, claude I am in usage timeout, and gemini shit the bed as usual: "The compiler rejects the program with error[E0597] on the assignment q.0 = Some(&l)"
reply