René's URL Explorer Experiment


Title: Fix VC Function Substitution by rcosta358 · Pull Request #267 · liquid-java/liquidjava · GitHub

Open Graph Title: Fix VC Function Substitution by rcosta358 · Pull Request #267 · liquid-java/liquidjava

X Title: Fix VC Function Substitution by rcosta358 · Pull Request #267 · liquid-java/liquidjava

Description: Refinement type checker for Java with liquid types and typestates - catch bugs at compile time - Fix VC Function Substitution by rcosta358 · Pull Request #267 · liquid-java/liquidjava

Open Graph Description: Description This PR fixes VC function substitution so function equality premises are removed after they are used to rewrite later premises or the conclusion, similarly to normal VC substitution. Ex...

X Description: Description This PR fixes VC function substitution so function equality premises are removed after they are used to rewrite later premises or the conclusion, similarly to normal VC substitution. Ex...

Opengraph URL: https://github.com/liquid-java/liquidjava/pull/267

X: @github

direct link

Domain: Github.com

route-pattern/_view_fragments/voltron/pull_requests/show/:user_id/:repository/:id/pull_request_layout(.:format)
route-controllervoltron_pull_requests_fragments
route-actionpull_request_layout
fetch-noncev2:15d5fe31-90a9-9a5d-3fbb-46b84034e4c0
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-idA610:1AC9BC:23975B9:30CA3D5:6A6311D6
html-safe-nonce9a36f55e7af80ce8957b0c0e36bdc0f70a06a704d6b46a5d587493bf001d1d6b
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJBNjEwOjFBQzlCQzoyMzk3NUI5OjMwQ0EzRDU6NkE2MzExRDYiLCJ2aXNpdG9yX2lkIjoiODM0MDc4NTY0MTE4MjkyNTI3MCIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9
visitor-hmace0e00a4196a3f9a7ec1b5e1ad8bb26be8150950b82c4b316e7944500525f1b39
hovercard-subject-tagpull_request:3928676129
github-keyboard-shortcutsrepository,pull-request-list,pull-request-conversation,pull-request-files-changed,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location///voltron/pull_requests_fragments/pull_request_layout
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/_view_fragments/voltron/pull_requests/show/liquid-java/liquidjava/267/pull_request_layout
twitter:imagehttps://opengraph.githubassets.com/95eecf327aa71452676ee23fda3eebed670b9aa8acebc5a2b4d39c85633143b7/liquid-java/liquidjava/pull/267
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/95eecf327aa71452676ee23fda3eebed670b9aa8acebc5a2b4d39c85633143b7/liquid-java/liquidjava/pull/267
og:image:altDescription This PR fixes VC function substitution so function equality premises are removed after they are used to rewrite later premises or the conclusion, similarly to normal VC substitution. Ex...
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
og:author:usernamercosta358
hostnamegithub.com
expected-hostnamegithub.com
None1a6c056e02f174fffc096c521ec0ff6fb83e40a2ec8cb8875466ec1524872dd6
turbo-cache-controlno-cache
go-importgithub.com/liquid-java/liquidjava git https://github.com/liquid-java/liquidjava.git
octolytics-dimension-user_id242831829
octolytics-dimension-user_loginliquid-java
octolytics-dimension-repository_id258218369
octolytics-dimension-repository_nwoliquid-java/liquidjava
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id258218369
octolytics-dimension-repository_network_root_nwoliquid-java/liquidjava
turbo-body-classeslogged-out env-production page-responsive
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
release6a93e25585f487ddff9e3996c06d5b869d6e1828
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://Github.com/liquid-java/liquidjava/pull/267#start-of-content
https://Github.com/
Sign in https://Github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fliquid-java%2Fliquidjava%2Fpull%2F267
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub Copilot appDirect agents from issue to mergehttps://github.com/features/ai/github-app
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
Code QualityEnforce quality at mergehttps://github.com/features/code-quality
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
View all resourceshttps://github.com/resources
GitHub SponsorsFund open source developershttps://github.com/open-source/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/open-source/accelerator
GitHub Starshttps://stars.github.com
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/enterprise/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in https://Github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fliquid-java%2Fliquidjava%2Fpull%2F267
Sign up https://Github.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=liquid-java%2Fliquidjava
Reloadhttps://Github.com/liquid-java/liquidjava/pull/267
Reloadhttps://Github.com/liquid-java/liquidjava/pull/267
Reloadhttps://Github.com/liquid-java/liquidjava/pull/267
Please reload this pagehttps://Github.com/liquid-java/liquidjava/pull/267
liquid-java https://Github.com/liquid-java
liquidjavahttps://Github.com/liquid-java/liquidjava
Notifications https://Github.com/login?return_to=%2Fliquid-java%2Fliquidjava
Fork 36 https://Github.com/login?return_to=%2Fliquid-java%2Fliquidjava
Star 65 https://Github.com/login?return_to=%2Fliquid-java%2Fliquidjava
Code https://Github.com/liquid-java/liquidjava
Issues 20 https://Github.com/liquid-java/liquidjava/issues
Pull requests 8 https://Github.com/liquid-java/liquidjava/pulls
Actions https://Github.com/liquid-java/liquidjava/actions
Projects https://Github.com/liquid-java/liquidjava/projects
Security and quality 0 https://Github.com/liquid-java/liquidjava/security
Insights https://Github.com/liquid-java/liquidjava/pulse
Code https://Github.com/liquid-java/liquidjava
Issues https://Github.com/liquid-java/liquidjava/issues
Pull requests https://Github.com/liquid-java/liquidjava/pulls
Actions https://Github.com/liquid-java/liquidjava/actions
Projects https://Github.com/liquid-java/liquidjava/projects
Security and quality https://Github.com/liquid-java/liquidjava/security
Insights https://Github.com/liquid-java/liquidjava/pulse
rcosta358https://Github.com/rcosta358
mainhttps://Github.com/liquid-java/liquidjava/tree/main
fix-vc-function-substitutionhttps://Github.com/liquid-java/liquidjava/tree/fix-vc-function-substitution
Conversationhttps://Github.com/liquid-java/liquidjava/pull/267
Commits5 (5)https://Github.com/liquid-java/liquidjava/pull/267/commits
Checkshttps://Github.com/liquid-java/liquidjava/pull/267/checks
Files changedhttps://Github.com/liquid-java/liquidjava/pull/267/files
Fix VC Function Substitutionhttps://Github.com/liquid-java/liquidjava/pull/267#top
rcosta358https://Github.com/rcosta358
mainhttps://Github.com/liquid-java/liquidjava/tree/main
fix-vc-function-substitutionhttps://Github.com/liquid-java/liquidjava/tree/fix-vc-function-substitution
https://Github.com/rcosta358
rcosta358https://Github.com/rcosta358
Jun 24, 2026https://Github.com/liquid-java/liquidjava/pull/267#issue-4736026410
Please reload this pagehttps://Github.com/liquid-java/liquidjava/pull/267
https://Github.com/rcosta358
rcosta358https://Github.com/rcosta358
Jun 24, 2026https://Github.com/liquid-java/liquidjava/pull/267#event-27151745518
https://Github.com/rcosta358
rcosta358https://Github.com/rcosta358
bug https://Github.com/liquid-java/liquidjava/issues?q=state%3Aopen%20label%3Abug
simplification https://Github.com/liquid-java/liquidjava/issues?q=state%3Aopen%20label%3Asimplification
Jun 24, 2026https://Github.com/liquid-java/liquidjava/pull/267#event-27151745946
https://Github.com/rcosta358
rcosta358https://Github.com/rcosta358
force-pushedhttps://Github.com/liquid-java/liquidjava/compare/bdc9dad3eb39ecf9ba445de176b8c49ddd723b5d..2d2db905bdee472b9d61857eb06686f372dc4c91
bdc9dadhttps://Github.com/liquid-java/liquidjava/commit/bdc9dad3eb39ecf9ba445de176b8c49ddd723b5d
2d2db90https://Github.com/liquid-java/liquidjava/commit/2d2db905bdee472b9d61857eb06686f372dc4c91
Compare https://Github.com/liquid-java/liquidjava/compare/bdc9dad3eb39ecf9ba445de176b8c49ddd723b5d..2d2db905bdee472b9d61857eb06686f372dc4c91
June 24, 2026 16:46https://Github.com/liquid-java/liquidjava/pull/267#event-27156088683
https://Github.com/CatarinaGamboa
CatarinaGamboahttps://Github.com/CatarinaGamboa
Jun 24, 2026 https://Github.com/liquid-java/liquidjava/pull/267#pullrequestreview-4566044979
View reviewed changes https://Github.com/liquid-java/liquidjava/pull/267/files
CatarinaGamboahttps://Github.com/CatarinaGamboa
https://Github.com/liquid-java/liquidjava/pull/267#pullrequestreview-4566044979
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://Github.com/liquid-java/liquidjava/pull/267
https://Github.com/rcosta358
rcosta358https://Github.com/rcosta358
Jun 24, 2026https://Github.com/liquid-java/liquidjava/pull/267#issuecomment-4793729100
Please reload this pagehttps://Github.com/liquid-java/liquidjava/pull/267
https://Github.com/CatarinaGamboa
CatarinaGamboahttps://Github.com/CatarinaGamboa
Jul 20, 2026 https://Github.com/liquid-java/liquidjava/pull/267#pullrequestreview-4736716344
View reviewed changes https://Github.com/liquid-java/liquidjava/pull/267/files
CatarinaGamboahttps://Github.com/CatarinaGamboa
https://Github.com/liquid-java/liquidjava/pull/267#pullrequestreview-4736716344
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://Github.com/liquid-java/liquidjava/pull/267
liquidjava-verifier/src/main/java/liquidjava/rj_language/opt/VCFunctionSubstitution.javahttps://Github.com/liquid-java/liquidjava/pull/267/files#diff-d183560cf349e515e132f2f14e9b6e9841da7afe63d511e98e9ea72a9f03113d
CatarinaGamboahttps://Github.com/CatarinaGamboa
Jul 20, 2026https://Github.com/liquid-java/liquidjava/pull/267#discussion_r3615733821
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://Github.com/liquid-java/liquidjava/pull/267
rcosta358https://Github.com/rcosta358
Jul 20, 2026https://Github.com/liquid-java/liquidjava/pull/267#discussion_r3616273643
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://Github.com/liquid-java/liquidjava/pull/267
liquidjava-verifier/src/main/java/liquidjava/rj_language/opt/VCFunctionSubstitution.javahttps://Github.com/liquid-java/liquidjava/pull/267/files#diff-d183560cf349e515e132f2f14e9b6e9841da7afe63d511e98e9ea72a9f03113d
CatarinaGamboahttps://Github.com/CatarinaGamboa
Jul 20, 2026https://Github.com/liquid-java/liquidjava/pull/267#discussion_r3615760887
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://Github.com/liquid-java/liquidjava/pull/267
rcosta358https://Github.com/rcosta358
Jul 20, 2026https://Github.com/liquid-java/liquidjava/pull/267#discussion_r3616299299
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://Github.com/liquid-java/liquidjava/pull/267
liquidjava-verifier/src/test/java/liquidjava/rj_language/opt/VCFunctionSubstitutionTest.javahttps://Github.com/liquid-java/liquidjava/pull/267/files#diff-774c3e9fde0f3e05a60f4a1551e1e748504a0e5713eafb29b09913d21aad3ab4
CatarinaGamboahttps://Github.com/CatarinaGamboa
Jul 20, 2026https://Github.com/liquid-java/liquidjava/pull/267#discussion_r3615791742
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://Github.com/liquid-java/liquidjava/pull/267
rcosta358https://Github.com/rcosta358
Jul 20, 2026https://Github.com/liquid-java/liquidjava/pull/267#discussion_r3616313121
Please reload this pagehttps://Github.com/liquid-java/liquidjava/pull/267
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://Github.com/liquid-java/liquidjava/pull/267
https://Github.com/rcosta358
rcosta358https://Github.com/rcosta358
July 20, 2026 17:56https://Github.com/liquid-java/liquidjava/pull/267#event-28226979704
rcosta358https://Github.com/rcosta358
July 20, 2026 18:57https://Github.com/liquid-java/liquidjava/pull/267#commits-pushed-919a5b8
https://Github.com/rcosta358
Fix VC Function Substitutionhttps://Github.com/liquid-java/liquidjava/pull/267/commits/919a5b82ed77ecfa4a79eea1fc6affc1ce728dec
919a5b8https://Github.com/liquid-java/liquidjava/pull/267/commits/919a5b82ed77ecfa4a79eea1fc6affc1ce728dec
https://Github.com/rcosta358
Function Invocation Simple Name Workaroundhttps://Github.com/liquid-java/liquidjava/pull/267/commits/5ec4cafd023683de8918a37453c8381aca7bf98d
5ec4cafhttps://Github.com/liquid-java/liquidjava/pull/267/commits/5ec4cafd023683de8918a37453c8381aca7bf98d
https://Github.com/rcosta358
Remove Redundant Ifhttps://Github.com/liquid-java/liquidjava/pull/267/commits/585ba2ff9044f23fe6b4a8f9327e09437ede0d95
585ba2fhttps://Github.com/liquid-java/liquidjava/pull/267/commits/585ba2ff9044f23fe6b4a8f9327e09437ede0d95
https://Github.com/rcosta358
rcosta358https://Github.com/rcosta358
force-pushedhttps://Github.com/liquid-java/liquidjava/compare/4012d7e4c8f2b82ea5959a253959c7343db23f5f..585ba2ff9044f23fe6b4a8f9327e09437ede0d95
4012d7ehttps://Github.com/liquid-java/liquidjava/commit/4012d7e4c8f2b82ea5959a253959c7343db23f5f
585ba2fhttps://Github.com/liquid-java/liquidjava/commit/585ba2ff9044f23fe6b4a8f9327e09437ede0d95
Compare https://Github.com/liquid-java/liquidjava/compare/4012d7e4c8f2b82ea5959a253959c7343db23f5f..585ba2ff9044f23fe6b4a8f9327e09437ede0d95
July 20, 2026 17:57https://Github.com/liquid-java/liquidjava/pull/267#event-28227028307
rcosta358https://Github.com/rcosta358
July 20, 2026 19:03https://Github.com/liquid-java/liquidjava/pull/267#commits-pushed-271732e
https://Github.com/rcosta358
Renaming and JavaDochttps://Github.com/liquid-java/liquidjava/pull/267/commits/271732e7bda6a5ee758ecde33bc00fc7a67e1717
271732ehttps://Github.com/liquid-java/liquidjava/pull/267/commits/271732e7bda6a5ee758ecde33bc00fc7a67e1717
https://Github.com/rcosta358
Remove Unnecessary Cloneshttps://Github.com/liquid-java/liquidjava/pull/267/commits/1d9b4071b56546cbfc09e8a03f417aa06b0cb9e6
1d9b407https://Github.com/liquid-java/liquidjava/pull/267/commits/1d9b4071b56546cbfc09e8a03f417aa06b0cb9e6
https://Github.com/rcosta358
rcosta358https://Github.com/rcosta358
f3466c8https://Github.com/liquid-java/liquidjava/commit/f3466c8e6a5d28e507e490f876a4d375b6090b50
Jul 20, 2026https://github.com/liquid-java/liquidjava/pull/267#event-28227849642
Please reload this pagehttps://Github.com/liquid-java/liquidjava/pull/267
https://github.co/hiddenchars
https://Github.com/liquid-java/liquidjava/pull/{{ revealButtonHref }}
Sign up for freehttps://Github.com/join?source=comment-repo
Sign in to commenthttps://Github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fliquid-java%2Fliquidjava%2Fpull%2F267
https://Github.com/CatarinaGamboa
CatarinaGamboa https://Github.com/CatarinaGamboa
https://Github.com/liquid-java/liquidjava/pull/267/files/2d2db905bdee472b9d61857eb06686f372dc4c91
https://Github.com/rcosta358
rcosta358 https://Github.com/rcosta358
bug https://Github.com/liquid-java/liquidjava/issues?q=state%3Aopen%20label%3Abug
simplification https://Github.com/liquid-java/liquidjava/issues?q=state%3Aopen%20label%3Asimplification
Please reload this pagehttps://Github.com/liquid-java/liquidjava/pull/267
https://Github.com/rcosta358
https://Github.com/CatarinaGamboa
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.