Add test coverage for 'in' operator with tuple literals

[Copilot]

The in operator with tuple literals was reported as broken but the fix already exists in master. Adding regression test.

Changes

• New test: InOperatorBugTest validates matcher expressions like:

  m = g(r.sub, p.sub) && r.obj == p.obj && r.act == p.act || r.obj in ('data2', 'data3')

Test Coverage

Validates the conversion pipeline:

• r.obj in ('data2', 'data3') → include(tuple('data2', 'data3'), r.obj)
• Role-based access with tuple bypass logic
• Users without roles can access tuple-matched resources
• Denial for values outside the tuple

The existing Util.convertInSyntax() correctly handles the conversion for Aviator compatibility. This test ensures the behavior doesn't regress.

Original prompt

---

This section details on the original issue you should resolve

<issue_title>[bug] 'in' of matcher doesn't work: "m = g(r.sub, p.sub) && r.obj == p.obj && r.act == p.act || r.obj in ('data2', 'data3')"</issue_title>
<issue_description>link: https://editor.casbin.org/#4EVDCBGLC

model.conf:

[request_definition]
r = sub, obj, act

[policy_definition]
p = sub, obj, act

[role_definition]
g = _, _

[policy_effect]
e = some(where (p.eft == allow))

[matchers]
m = g(r.sub, p.sub) && r.obj == p.obj && r.act == p.act || r.obj in ('data2', 'data3')

OK in Node-Casbin:

But in jcasbin:

Syntax error: invalid token at 64, lineNumber: 1, token : [type='Char',lexeme=',',index=64],
while parsing expression: `
g(r_sub, p_sub) && r_obj == p_obj && r_act == p_act || include((,^^^
`
, error: exit status 1

</issue_description>

Comments on the Issue (you are @copilot in this section)

@hsluoyz @lonelyxmas can you share the Casbin editor link? (click "SHARE" button) @hsluoyz @lonelyxmas click "SHARE", you will get a link like: https://editor.casbin.org/#5JLCGYDML

</comment_new>
<comment_new>@hsluoyz
@lonelyxmas can you try the copy-paste again? It should have been fixed</comment_new>

• Fixes [bug] 'in' of matcher doesn't work: "m = g(r.sub, p.sub) && r.obj == p.obj && r.act == p.act || r.obj in ('data2', 'data3')" #498

---

💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.

[CLAassistant]

Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.
_{You have signed the CLA already but the status is still pending? Let us recheck it.}

[codecov-commenter]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 67.98%. Comparing base (c617f4d) to head (ba5b83f).
⚠️ Report is 1 commits behind head on master.

Additional details and impacted files

@@           Coverage Diff           @@
##           master     #512   +/-   ##
=======================================
  Coverage   67.98%   67.98%           
=======================================
  Files          63       63           
  Lines        3089     3089           
  Branches      574      574           
=======================================
  Hits         2100     2100           
  Misses        805      805           
  Partials      184      184           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.