GeezerVisonThe World Wide Web, restored to 800 pixels of glory. |
| Home|About|Gaming cabinet|Archives|How it works|Starter sites |
GeezerVison is showing github.com — Verifier crashes on a `var` local in a binary operator · Issue #344 · liquid-java/liquidjava Closed Labels bugSomething isn't workingSomething isn't working DescriptionImpact: verification stops with an internal error. It blocks 1 of the 48 real-code examples we built (bugs mined from open-source Java). Description A local declared with Minimal reproducer public class Repro { static String name() { return "x"; } public static void main(String[] args) { var n = name(); if (n == null) { throw new IllegalArgumentException("no name"); } } } Expected
Actual Reproduced on Context Found while turning bugs mined from real open-source Java (fixed upstream or still present) into study examples for the error-message study. Activity
MetadataMetadataAssigneesLabelsbugSomething isn't workingSomething isn't working TypeProjectsMilestoneRelationshipsDevelopmentIssue actions |
| You are visitor 01402503 — GeezerVison does not store the pages you look up. Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required. |