Skip to content

Commit 394ec56

Browse files
tamasvajksmowton
authored andcommitted
Add test case for local class declaration in field initializer
1 parent 4ceb2f1 commit 394ec56

File tree

7 files changed

+2734
-832
lines changed

7 files changed

+2734
-832
lines changed
Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
[INVALID_KEY_SET] predicate isLocalClassOrInterface(@classorinterface typeid, @localtypedeclstmt parent): The key set {typeid} does not functionally determine all fields.
2+
Here is a pair of tuples that agree on the key set but differ at index 1:
3+
Tuple 1 in row 13: (1044,1050)
4+
Tuple 2 in row 14: (1044,1075)
5+
Relevant element: Tuple 1: typeid=1044
6+
Full ID for 1044: @"class;L"
7+
Relevant element: Tuple 2: typeid=1044
8+
Full ID for 1044: @"class;L"
9+
[INVALID_KEY_SET] predicate stmts(@stmt id, int kind, @stmtparent parent, int idx, @callable bodydecl): The key set {parent, idx} does not functionally determine all fields.
10+
Here is a pair of tuples that agree on the key set but differ at index 0:
11+
Tuple 1 in row 223: (1047,0,1046,0,1046)
12+
Tuple 2 in row 233: (1072,0,1046,0,1046)
13+
Relevant element: Tuple 1: parent=1046
14+
Full ID for 1046: @"callable;(1044).<init>()(17)". The ID may expand to @"callable;{@"class;L"}.<init>(){@"type;void"}"
15+
Relevant element: Tuple 2: parent=1046
16+
Full ID for 1046: @"callable;(1044).<init>()(17)". The ID may expand to @"callable;{@"class;L"}.<init>(){@"type;void"}"
17+
Relevant element: Tuple 1: bodydecl=1046
18+
Full ID for 1046: @"callable;(1044).<init>()(17)". The ID may expand to @"callable;{@"class;L"}.<init>(){@"type;void"}"
19+
Relevant element: Tuple 2: bodydecl=1046
20+
Full ID for 1046: @"callable;(1044).<init>()(17)". The ID may expand to @"callable;{@"class;L"}.<init>(){@"type;void"}"

0 commit comments

Comments
 (0)