strict digraph "tests/contract_testcases/substrate/structs/parse_structs_10.sol" {
	C [label="name:C\ncontract: con\ntests/contract_testcases/substrate/structs/parse_structs_10.sol:3:20-21\nfield name:val ty:uint256\nfield name:b ty:struct con.B"]
	D [label="name:D\ncontract: con\ntests/contract_testcases/substrate/structs/parse_structs_10.sol:8:20-21\nfield name:c ty:struct con.C"]
	B [label="name:B\ncontract: con\ntests/contract_testcases/substrate/structs/parse_structs_10.sol:12:20-21\nfield name:d ty:struct con.D"]
	A [label="name:A\ncontract: con\ntests/contract_testcases/substrate/structs/parse_structs_10.sol:16:20-21\nfield name:d ty:struct con.D\nfield name:b ty:struct con.B\nfield name:c ty:struct con.C"]
	contract [label="contract con\ntests/contract_testcases/substrate/structs/parse_structs_10.sol:2:9-21:10"]
	diagnostic [label="found contract 'con'\nlevel Debug\ntests/contract_testcases/substrate/structs/parse_structs_10.sol:2:9-21:10"]
	diagnostic_9 [label="contract name 'con' is reserved file name on Windows\nlevel Error\ntests/contract_testcases/substrate/structs/parse_structs_10.sol:2:18-21"]
	diagnostic_10 [label="struct 'C' has infinite size\nlevel Error\ntests/contract_testcases/substrate/structs/parse_structs_10.sol:3:20-21"]
	note [label="recursive field 'b'\ntests/contract_testcases/substrate/structs/parse_structs_10.sol:5:17-20"]
	diagnostic_12 [label="struct 'D' has infinite size\nlevel Error\ntests/contract_testcases/substrate/structs/parse_structs_10.sol:8:20-21"]
	note_13 [label="recursive field 'c'\ntests/contract_testcases/substrate/structs/parse_structs_10.sol:9:17-20"]
	diagnostic_14 [label="struct 'B' has infinite size\nlevel Error\ntests/contract_testcases/substrate/structs/parse_structs_10.sol:12:20-21"]
	note_15 [label="recursive field 'd'\ntests/contract_testcases/substrate/structs/parse_structs_10.sol:13:17-20"]
	structs -> C
	structs -> D
	structs -> B
	structs -> A
	contracts -> contract
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_9 [label="Error"]
	diagnostics -> diagnostic_10 [label="Error"]
	diagnostic_10 -> note [label="note"]
	diagnostics -> diagnostic_12 [label="Error"]
	diagnostic_12 -> note_13 [label="note"]
	diagnostics -> diagnostic_14 [label="Error"]
	diagnostic_14 -> note_15 [label="note"]
}
