Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
13 changes: 13 additions & 0 deletions graph/test/java/expected/61-var-local-type.known-missing
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
# Accepted gap, measured by the bytecode oracle in CI: a `var` local whose type comes from something
# other than its initializer expression is left a declared unknown. Before #1401 each of these was a
# wrong `external:var.<m>` edge; now the receiver is honestly untyped. Three shapes:
# - the element variable of an enhanced for loop (`for (var w : widgets)`): its type is the
# iterable's element type;
# - a try-with-resources variable (`try (var w = open())` where open() is not typed client-side);
# - `var` lambda parameters (`(var w) -> w.paint()`): the type comes from the target functional
# interface.
# Follow-up: type `var` in these three shapes. It cannot rot: when one starts resolving, this line
# reports NOW-FIXED and the case fails until it is removed.
probe.VarLocals#fromEnhancedFor -> probe.Widget#paint()
probe.VarLocals#fromResource -> probe.Widget#close()
probe.VarLocals#lambdaParams -> probe.Widget#paint()
4 changes: 4 additions & 0 deletions graph/test/java/expected/61-var-local-type.oracle
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
oracle=20 engine=17 agree=17 missing=3 (known 3, NEW 0) extra=0
known-missing probe.VarLocals#fromEnhancedFor -> probe.Widget#paint()
known-missing probe.VarLocals#fromResource -> probe.Widget#close()
known-missing probe.VarLocals#lambdaParams -> probe.Widget#paint()
2 changes: 1 addition & 1 deletion graph/test/java/expected/oracle-agreement.txt
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
cases compared 45 agreeing 45
cases compared 46 agreeing 46
CONSTRUCTOR-RULE disagreements: 0 cases, 0 rows
OTHER disagreements: 0
rows naming no method: 0
Expand Down
Loading