cubicweb #1625464 FAIL: test_rqlexpr_not_relation2 (unittest_rqlrewrite.RQLRewriteTC) [resolved]

since changeset: 7177:f2a976cf7dac (summary: [rql rewriter] take care not to introduce snippets into a neged scope):

AssertionError: u'Any A WHERE NOT EXISTS(A documented_by C), A is Affaire, EXISTS(C owned_by B,  [truncated]... != u'Any A WHERE NOT EXISTS(A documented_by C, EXISTS(C owned_by B, B login "hop",  [truncated]...
- Any A WHERE NOT EXISTS(A documented_by C), A is Affaire, EXISTS(C owned_by B, B login "hop", B is CWUser), C is Card?
- --------------
+ Any A WHERE NOT EXISTS(A documented_by C, EXISTS(C owned_by B, B login "hop", B is CWUser), C is Card), A is Affaire?

and:

AssertionError: u'Any A WHERE NOT EXISTS(A documented_by C), A is Affaire, EXISTS(C owned_by B,  [truncated]... != u'Any A WHERE NOT EXISTS(A documented_by C, EXISTS(C owned_by B, B login "hop",  [truncated]...
- Any A WHERE NOT EXISTS(A documented_by C), A is Affaire, EXISTS(C owned_by B, B login "hop", B is CWUser), C is Card?
- --------------
+ Any A WHERE NOT EXISTS(A documented_by C, EXISTS(C owned_by B, B login "hop", B is CWUser), C is Card), A is Affaire?

the first string in both test is the generated output, and the second one is the expected output. I'm not certain both expressions are equivalent.

prioritynormal
typebug
done in3.12.3
load left0.000
closed by#163a2eab0e55 [rql rewrite] backout 7177:f2a976cf7dac : since EXISTS is the variable scope, we want to insert snippets here anyway (other solution would be to NOT insert snippets at all in such case). Closes #1625464