strict digraph "tests/contract_testcases/solana/expressions/slice.sol" {
	contract [label="contract slice\ntests/contract_testcases/solana/expressions/slice.sol:2:1-9:2"]
	foo [label="function foo\ncontract: slice\ntests/contract_testcases/solana/expressions/slice.sol:3:5-35\nsignature foo(bytes)\nvisibility public\nmutability nonpayable"]
	parameters [label="parameters\nbytes foo"]
	diagnostic [label="found contract 'slice'\nlevel Debug\ntests/contract_testcases/solana/expressions/slice.sol:2:1-9:2"]
	diagnostic_6 [label="declaration of 'foo' shadows function\nlevel Warning\ntests/contract_testcases/solana/expressions/slice.sol:3:24-27"]
	note [label="previous declaration of function\ntests/contract_testcases/solana/expressions/slice.sol:3:14-17"]
	diagnostic_8 [label="slice not supported yet\nlevel Error\ntests/contract_testcases/solana/expressions/slice.sol:4:20-27"]
	contracts -> contract
	contract -> foo [label="function"]
	foo -> parameters [label="parameters"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_6 [label="Warning"]
	diagnostic_6 -> note [label="note"]
	diagnostics -> diagnostic_8 [label="Error"]
}
