| route-pattern | /_view_fragments/voltron/pull_requests/show/:user_id/:repository/:id/pull_request_layout(.:format) |
| route-controller | voltron_pull_requests_fragments |
| route-action | pull_request_layout |
| fetch-nonce | v2:4dcf2b2d-c17a-8f90-e55c-0efc180ed775 |
| current-catalog-service-hash | ae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b |
| request-id | 9618:18334E:56658F8:75173FB:696E1CB8 |
| html-safe-nonce | 4df2a78040a8950f39fd1cbce647749a7609f64f2f4f6b31b8c39c502fb51dab |
| visitor-payload | eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiI5NjE4OjE4MzM0RTo1NjY1OEY4Ojc1MTczRkI6Njk2RTFDQjgiLCJ2aXNpdG9yX2lkIjoiODQ3NDkzMTgxMDcxNjc1MzA4MCIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9 |
| visitor-hmac | 2c319469e90f243f7378ce8f8297d453d90fc2e9f2f1bc916526c5b04705fb32 |
| hovercard-subject-tag | pull_request:3181108317 |
| github-keyboard-shortcuts | repository,pull-request-list,pull-request-conversation,pull-request-files-changed,copilot |
| google-site-verification | Apib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I |
| octolytics-url | https://collector.github.com/github/collect |
| analytics-location | ///voltron/pull_requests_fragments/pull_request_layout |
| fb:app_id | 1401488693436528 |
| apple-itunes-app | app-id=1477376905, app-argument=https://github.com/_view_fragments/voltron/pull_requests/show/github/codeql/21180/pull_request_layout |
| twitter:image | https://opengraph.githubassets.com/d44ee208dd954ba49cf0164db3dbb91fd7a84b73bac1cc173f02a451445799b7/github/codeql/pull/21180 |
| twitter:card | summary_large_image |
| og:image | https://opengraph.githubassets.com/d44ee208dd954ba49cf0164db3dbb91fd7a84b73bac1cc173f02a451445799b7/github/codeql/pull/21180 |
| og:image:alt | Before
Evaluated relational algebra for predicate _ElementImpl::Impl::MacroExpansion::isAttributeMacroExpansionSourceLocation/2#3429148c_Locatable::Lo__#antijoin_rhs@9f4aa4rk with tuple counts:
... |
| og:image:width | 1200 |
| og:image:height | 600 |
| og:site_name | GitHub |
| og:type | object |
| og:author:username | hvitved |
| hostname | github.com |
| expected-hostname | github.com |
| None | 113cc336e7105fbb9f2ee8beb67c6cc584d65fa66a8a1a5dd236ba66db174af7 |
| turbo-cache-control | no-preview |
| go-import | github.com/github/codeql git https://github.com/github/codeql.git |
| octolytics-dimension-user_id | 9919 |
| octolytics-dimension-user_login | github |
| octolytics-dimension-repository_id | 143040428 |
| octolytics-dimension-repository_nwo | github/codeql |
| octolytics-dimension-repository_public | true |
| octolytics-dimension-repository_is_fork | false |
| octolytics-dimension-repository_network_root_id | 143040428 |
| octolytics-dimension-repository_network_root_nwo | github/codeql |
| turbo-body-classes | logged-out env-production page-responsive |
| disable-turbo | false |
| browser-stats-url | https://api.github.com/_private/browser/stats |
| browser-errors-url | https://api.github.com/_private/browser/errors |
| release | 1d23f8b0bc31294c6a73ba2f3adfdd8c7052ca1e |
| ui-target | full |
| theme-color | #1e2327 |
| color-scheme | light dark |
| Skip to content | https://patch-diff.githubusercontent.com/github/codeql/pull/21180#start-of-content |
|
| https://patch-diff.githubusercontent.com/ |
|
Sign in
| https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fgithub%2Fcodeql%2Fpull%2F21180 |
| GitHub CopilotWrite better code with AI | https://github.com/features/copilot |
| GitHub SparkBuild and deploy intelligent apps | https://github.com/features/spark |
| GitHub ModelsManage and compare prompts | https://github.com/features/models |
| MCP RegistryNewIntegrate external tools | https://github.com/mcp |
| ActionsAutomate any workflow | https://github.com/features/actions |
| CodespacesInstant dev environments | https://github.com/features/codespaces |
| IssuesPlan and track work | https://github.com/features/issues |
| Code ReviewManage code changes | https://github.com/features/code-review |
| GitHub Advanced SecurityFind and fix vulnerabilities | https://github.com/security/advanced-security |
| Code securitySecure your code as you build | https://github.com/security/advanced-security/code-security |
| Secret protectionStop leaks before they start | https://github.com/security/advanced-security/secret-protection |
| Why GitHub | https://github.com/why-github |
| Documentation | https://docs.github.com |
| Blog | https://github.blog |
| Changelog | https://github.blog/changelog |
| Marketplace | https://github.com/marketplace |
| View all features | https://github.com/features |
| Enterprises | https://github.com/enterprise |
| Small and medium teams | https://github.com/team |
| Startups | https://github.com/enterprise/startups |
| Nonprofits | https://github.com/solutions/industry/nonprofits |
| App Modernization | https://github.com/solutions/use-case/app-modernization |
| DevSecOps | https://github.com/solutions/use-case/devsecops |
| DevOps | https://github.com/solutions/use-case/devops |
| CI/CD | https://github.com/solutions/use-case/ci-cd |
| View all use cases | https://github.com/solutions/use-case |
| Healthcare | https://github.com/solutions/industry/healthcare |
| Financial services | https://github.com/solutions/industry/financial-services |
| Manufacturing | https://github.com/solutions/industry/manufacturing |
| Government | https://github.com/solutions/industry/government |
| View all industries | https://github.com/solutions/industry |
| View all solutions | https://github.com/solutions |
| AI | https://github.com/resources/articles?topic=ai |
| Software Development | https://github.com/resources/articles?topic=software-development |
| DevOps | https://github.com/resources/articles?topic=devops |
| Security | https://github.com/resources/articles?topic=security |
| View all topics | https://github.com/resources/articles |
| Customer stories | https://github.com/customer-stories |
| Events & webinars | https://github.com/resources/events |
| Ebooks & reports | https://github.com/resources/whitepapers |
| Business insights | https://github.com/solutions/executive-insights |
| GitHub Skills | https://skills.github.com |
| Documentation | https://docs.github.com |
| Customer support | https://support.github.com |
| Community forum | https://github.com/orgs/community/discussions |
| Trust center | https://github.com/trust-center |
| Partners | https://github.com/partners |
| GitHub SponsorsFund open source developers | https://github.com/sponsors |
| Security Lab | https://securitylab.github.com |
| Maintainer Community | https://maintainers.github.com |
| Accelerator | https://github.com/accelerator |
| Archive Program | https://archiveprogram.github.com |
| Topics | https://github.com/topics |
| Trending | https://github.com/trending |
| Collections | https://github.com/collections |
| Enterprise platformAI-powered developer platform | https://github.com/enterprise |
| GitHub Advanced SecurityEnterprise-grade security features | https://github.com/security/advanced-security |
| Copilot for BusinessEnterprise-grade AI features | https://github.com/features/copilot/copilot-business |
| Premium SupportEnterprise-grade 24/7 support | https://github.com/premium-support |
| Pricing | https://github.com/pricing |
| Search syntax tips | https://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax |
| documentation | https://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax |
|
Sign in
| https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fgithub%2Fcodeql%2Fpull%2F21180 |
|
Sign up
| https://patch-diff.githubusercontent.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E%2Fvoltron%2Fpull_requests_fragments%2Fpull_request_layout&source=header-repo&source_repo=github%2Fcodeql |
| Reload | https://patch-diff.githubusercontent.com/github/codeql/pull/21180 |
| Reload | https://patch-diff.githubusercontent.com/github/codeql/pull/21180 |
| Reload | https://patch-diff.githubusercontent.com/github/codeql/pull/21180 |
|
github
| https://patch-diff.githubusercontent.com/github |
| codeql | https://patch-diff.githubusercontent.com/github/codeql |
|
Notifications
| https://patch-diff.githubusercontent.com/login?return_to=%2Fgithub%2Fcodeql |
|
Fork
1.9k
| https://patch-diff.githubusercontent.com/login?return_to=%2Fgithub%2Fcodeql |
|
Star
9.1k
| https://patch-diff.githubusercontent.com/login?return_to=%2Fgithub%2Fcodeql |
|
Code
| https://patch-diff.githubusercontent.com/github/codeql |
|
Issues
918
| https://patch-diff.githubusercontent.com/github/codeql/issues |
|
Pull requests
367
| https://patch-diff.githubusercontent.com/github/codeql/pulls |
|
Discussions
| https://patch-diff.githubusercontent.com/github/codeql/discussions |
|
Actions
| https://patch-diff.githubusercontent.com/github/codeql/actions |
|
Projects
0
| https://patch-diff.githubusercontent.com/github/codeql/projects |
|
Models
| https://patch-diff.githubusercontent.com/github/codeql/models |
|
Security
Uh oh!
There was an error while loading. Please reload this page.
| https://patch-diff.githubusercontent.com/github/codeql/security |
| Please reload this page | https://patch-diff.githubusercontent.com/github/codeql/pull/21180 |
|
Insights
| https://patch-diff.githubusercontent.com/github/codeql/pulse |
|
Code
| https://patch-diff.githubusercontent.com/github/codeql |
|
Issues
| https://patch-diff.githubusercontent.com/github/codeql/issues |
|
Pull requests
| https://patch-diff.githubusercontent.com/github/codeql/pulls |
|
Discussions
| https://patch-diff.githubusercontent.com/github/codeql/discussions |
|
Actions
| https://patch-diff.githubusercontent.com/github/codeql/actions |
|
Projects
| https://patch-diff.githubusercontent.com/github/codeql/projects |
|
Models
| https://patch-diff.githubusercontent.com/github/codeql/models |
|
Security
| https://patch-diff.githubusercontent.com/github/codeql/security |
|
Insights
| https://patch-diff.githubusercontent.com/github/codeql/pulse |
| Sign up for GitHub
| https://patch-diff.githubusercontent.com/signup?return_to=%2Fgithub%2Fcodeql%2Fissues%2Fnew%2Fchoose |
| terms of service | https://docs.github.com/terms |
| privacy statement | https://docs.github.com/privacy |
| Sign in | https://patch-diff.githubusercontent.com/login?return_to=%2Fgithub%2Fcodeql%2Fissues%2Fnew%2Fchoose |
| Jump to bottom | https://patch-diff.githubusercontent.com/github/codeql/pull/21180#issue-comment-box |
| hvitved | https://patch-diff.githubusercontent.com/hvitved |
| github:main | https://patch-diff.githubusercontent.com/github/codeql/tree/main |
| hvitved:rust/fix-bad-join2 | https://patch-diff.githubusercontent.com/hvitved/codeql/tree/rust/fix-bad-join2 |
|
Rust: Fix bad join
| https://patch-diff.githubusercontent.com/github/codeql/pull/21180#top |
| hvitved | https://patch-diff.githubusercontent.com/hvitved |
| github:main | https://patch-diff.githubusercontent.com/github/codeql/tree/main |
| hvitved:rust/fix-bad-join2 | https://patch-diff.githubusercontent.com/hvitved/codeql/tree/rust/fix-bad-join2 |
|
Conversation
1
| https://patch-diff.githubusercontent.com/github/codeql/pull/21180 |
|
Commits
1
| https://patch-diff.githubusercontent.com/github/codeql/pull/21180/commits |
|
Checks
17
| https://patch-diff.githubusercontent.com/github/codeql/pull/21180/checks |
|
Files changed
1
| https://patch-diff.githubusercontent.com/github/codeql/pull/21180/files |
| https://github.co/hiddenchars |
| https://patch-diff.githubusercontent.com/github/codeql/pull/{{ revealButtonHref }} |
|
| https://patch-diff.githubusercontent.com/hvitved |
| hvitved | https://patch-diff.githubusercontent.com/hvitved |
| Jan 16, 2026 | https://patch-diff.githubusercontent.com/github/codeql/pull/21180#issue-3821846832 |
| Please reload this page | https://patch-diff.githubusercontent.com/github/codeql/pull/21180 |
|
| https://patch-diff.githubusercontent.com/hvitved |
| Rust: Fix bad join | https://patch-diff.githubusercontent.com/github/codeql/pull/21180/commits/43e20176f0c24a7aaef9f2bc144ee99934c207e1 |
| 43e2017 | https://patch-diff.githubusercontent.com/github/codeql/pull/21180/commits/43e20176f0c24a7aaef9f2bc144ee99934c207e1 |
| https://patch-diff.githubusercontent.com/apps/github-actions |
| github-actions | https://patch-diff.githubusercontent.com/apps/github-actions |
|
Rust
| https://patch-diff.githubusercontent.com/github/codeql/issues?q=state%3Aopen%20label%3ARust |
| Jan 16, 2026 | https://patch-diff.githubusercontent.com/github/codeql/pull/21180#event-22094774208 |
| https://patch-diff.githubusercontent.com/hvitved |
| hvitved | https://patch-diff.githubusercontent.com/hvitved |
|
no-change-note-required
| https://patch-diff.githubusercontent.com/github/codeql/issues?q=state%3Aopen%20label%3Ano-change-note-required |
| Jan 16, 2026 | https://patch-diff.githubusercontent.com/github/codeql/pull/21180#event-22099842113 |
| https://patch-diff.githubusercontent.com/hvitved |
| hvitved | https://patch-diff.githubusercontent.com/hvitved |
| January 16, 2026 16:19 | https://patch-diff.githubusercontent.com/github/codeql/pull/21180#event-22099843185 |
| https://patch-diff.githubusercontent.com/hvitved |
| hvitved | https://patch-diff.githubusercontent.com/hvitved |
| code owner | https://patch-diff.githubusercontent.com/github/codeql/blob/7c95fefd96ea6def505558b8a042210669f1137a/CODEOWNERS#L24 |
| January 16, 2026 16:19 | https://patch-diff.githubusercontent.com/github/codeql/pull/21180#event-22099843389 |
|
| https://patch-diff.githubusercontent.com/apps/copilot-pull-request-reviewer |
| Copilot | https://patch-diff.githubusercontent.com/apps/copilot-pull-request-reviewer |
| January 16, 2026 16:19 | https://patch-diff.githubusercontent.com/github/codeql/pull/21180#event-22099843498 |
| started reviewing | https://github.com/copilot/tasks/pull/PR_kwDOCIafrM69m9xd?session_id=2ffd00b4-c256-4bfe-b088-8c03c0b97837 |
| hvitved | https://patch-diff.githubusercontent.com/hvitved |
| January 16, 2026 16:20 | https://patch-diff.githubusercontent.com/github/codeql/pull/21180#event-22099860891 |
|
View session
| https://github.com/copilot/tasks/pull/PR_kwDOCIafrM69m9xd?session_id=2ffd00b4-c256-4bfe-b088-8c03c0b97837 |
|
| https://patch-diff.githubusercontent.com/apps/copilot-pull-request-reviewer |
| Copilot | https://patch-diff.githubusercontent.com/apps/copilot-pull-request-reviewer |
|
Jan 16, 2026
| https://patch-diff.githubusercontent.com/github/codeql/pull/21180#pullrequestreview-3671675660 |
|
View reviewed changes
| https://patch-diff.githubusercontent.com/github/codeql/pull/21180/files/43e20176f0c24a7aaef9f2bc144ee99934c207e1 |
| Copilot | https://patch-diff.githubusercontent.com/apps/copilot-pull-request-reviewer |
| https://patch-diff.githubusercontent.com/github/codeql/pull/21180#pullrequestreview-3671675660 |
| Learn more | https://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment |
| Add Copilot custom instructions | https://patch-diff.githubusercontent.com/github/codeql/new/main/.github/instructions?filename=*.instructions.md |
| Learn how to get started | https://docs.github.com/en/copilot/customizing-copilot/adding-repository-custom-instructions-for-github-copilot |
| Please reload this page | https://patch-diff.githubusercontent.com/github/codeql/pull/21180 |
| https://patch-diff.githubusercontent.com/paldepind |
| paldepind | https://patch-diff.githubusercontent.com/paldepind |
|
Jan 16, 2026
| https://patch-diff.githubusercontent.com/github/codeql/pull/21180#pullrequestreview-3672051237 |
|
View reviewed changes
| https://patch-diff.githubusercontent.com/github/codeql/pull/21180/files/43e20176f0c24a7aaef9f2bc144ee99934c207e1 |
| https://patch-diff.githubusercontent.com/hvitved |
| hvitved | https://patch-diff.githubusercontent.com/hvitved |
| 06b99b2 | https://patch-diff.githubusercontent.com/github/codeql/commit/06b99b2ce91aecf500a43a878ca461e562570ba3 |
| Jan 19, 2026 | https://github.com/github/codeql/pull/21180#event-22130410112 |
| Please reload this page | https://patch-diff.githubusercontent.com/github/codeql/pull/21180 |
| https://patch-diff.githubusercontent.com/hvitved |
| hvitved | https://patch-diff.githubusercontent.com/hvitved |
| January 19, 2026 07:22 | https://patch-diff.githubusercontent.com/github/codeql/pull/21180#event-22130411700 |
| Sign up for free | https://patch-diff.githubusercontent.com/join?source=comment-repo |
| Sign in to comment | https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fgithub%2Fcodeql%2Fpull%2F21180 |
|
Copilot code review
| https://patch-diff.githubusercontent.com/apps/copilot-pull-request-reviewer |
|
Copilot
| https://patch-diff.githubusercontent.com/apps/copilot-pull-request-reviewer |
|
| https://patch-diff.githubusercontent.com/github/codeql/pull/21180/files/43e20176f0c24a7aaef9f2bc144ee99934c207e1 |
|
| https://patch-diff.githubusercontent.com/paldepind |
|
paldepind
| https://patch-diff.githubusercontent.com/paldepind |
|
| https://patch-diff.githubusercontent.com/github/codeql/pull/21180/files/43e20176f0c24a7aaef9f2bc144ee99934c207e1 |
|
no-change-note-required
| https://patch-diff.githubusercontent.com/github/codeql/issues?q=state%3Aopen%20label%3Ano-change-note-required |
|
Rust
| https://patch-diff.githubusercontent.com/github/codeql/issues?q=state%3Aopen%20label%3ARust |
| Please reload this page | https://patch-diff.githubusercontent.com/github/codeql/pull/21180 |
|
| https://patch-diff.githubusercontent.com/hvitved |
|
| https://patch-diff.githubusercontent.com/paldepind |
|
| https://github.com |
| Terms | https://docs.github.com/site-policy/github-terms/github-terms-of-service |
| Privacy | https://docs.github.com/site-policy/privacy-policies/github-privacy-statement |
| Security | https://github.com/security |
| Status | https://www.githubstatus.com/ |
| Community | https://github.community/ |
| Docs | https://docs.github.com/ |
| Contact | https://support.github.com?tags=dotcom-footer |