1817 [])] |
1817 [])] |
1818 )], |
1818 )], |
1819 {'x': 999999}) |
1819 {'x': 999999}) |
1820 |
1820 |
1821 def test_nonregr13_1(self): |
1821 def test_nonregr13_1(self): |
1822 # identity wrapped into exists |
1822 # identity wrapped into exists: |
|
1823 # should'nt propagate constraint that U is in the same source as ME |
1823 self._test('Any B,U,UL GROUPBY B,U,UL WHERE B created_by U?, B is File ' |
1824 self._test('Any B,U,UL GROUPBY B,U,UL WHERE B created_by U?, B is File ' |
1824 'WITH U,UL BEING (Any U,UL WHERE ME eid %(x)s, (EXISTS(U identity ME) ' |
1825 'WITH U,UL BEING (Any U,UL WHERE ME eid %(x)s, (EXISTS(U identity ME) ' |
1825 'OR (EXISTS(U in_group G, G name IN("managers", "staff")))) ' |
1826 'OR (EXISTS(U in_group G, G name IN("managers", "staff")))) ' |
1826 'OR (EXISTS(U in_group H, ME in_group H, NOT H name "users")), U login UL, U is EUser)', |
1827 'OR (EXISTS(U in_group H, ME in_group H, NOT H name "users")), U login UL, U is EUser)', |
1827 [('FetchStep', [('Any U,UL WHERE U login UL, U is EUser', |
1828 [('FetchStep', [('Any U,UL WHERE U login UL, U is EUser', |