René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Inconsistent Function Invocation Qualified Names","articleBody":"\n**Description**\n\nRefined class ghost invocations are not always assigned consistent qualified names.\n\nWhen a ghost function is called on an instance of a refined class, the invocation should use the qualified name associated with that instance's class. However, in some cases, LiquidJava uses the qualified name of the class where the instance is being used instead.\n\nBecause of this, equivalent ghost invocations may be represented with different qualified names. As a workaround for the `VCFunctionSubstitution`, the `FunctionInvocation.equals()` currently compares only simple names, but this can be problematic.\n\n**Minimal reproducer**\n\n```java\npublic class Example {\n  public static void main(String[] args) {\n    Stack\u003cInteger\u003e stack = new Stack\u003c\u003e(); // java.util.Stack.size()\n    if (stack.empty()) { // com.example.Example.size()\n      stack.push(1); // java.util.Stack.size()\n    }\n    stack.pop(); // java.util.Stack.size()\n  }\n}\n```\n\n**Environment**\n\n* LiquidJava version / commit: `0.0.27`\n* Java version: `20`\n* OS: macOS 26\n","author":{"url":"https://github.com/rcosta358","@type":"Person","name":"rcosta358"},"datePublished":"2026-06-26T15:43:49.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/269/liquidjava/issues/269"}