Case() crashes with ~Q(pk in= ). Description

Case() crashes with ~Q(pk in= ). Description: a task in Lego-RL-SWE-Bench-Verified (Harbor dataset). The following code generates a syntax error. User.objects.annotate( a=Case( When(~Q(pk in= ), then=Value(True)), default=Value(False), output field=BooleanField(), ) ).order by("-a").values("pk")…

The task

The following code generates a syntax error. User.objects.annotate( _a=Case( When(~Q(pk__in=[]), then=Value(True)), default=Value(False), output_field=BooleanField(), ) ).order_by("-a").values("pk") The error is: ProgrammingError: syntax error at or near "THEN" LINE 1: ..._user"."id" FROM "users_user" ORDER BY CASE…

Part of Lego-X/Lego-RL-SWE-Bench-Verified.