strict digraph "tests/contract_testcases/substrate/functions/mangling_01.sol" {
	contract [label="contract Foo\ntests/contract_testcases/substrate/functions/mangling_01.sol:1:1-6:2"]
	f_bool [label="function f_bool\ncontract: Foo\ntests/contract_testcases/substrate/functions/mangling_01.sol:2:2-31\nsignature f_bool()\nvisibility public\nmutability pure"]
	f [label="function f\ncontract: Foo\ntests/contract_testcases/substrate/functions/mangling_01.sol:4:2-34\nsignature f(bool)\nvisibility public\nmutability pure"]
	parameters [label="parameters\nbool foo"]
	f_5 [label="function f\ncontract: Foo\ntests/contract_testcases/substrate/functions/mangling_01.sol:5:2-34\nsignature f(uint256)\nvisibility public\nmutability pure"]
	parameters_6 [label="parameters\nuint256 foo"]
	diagnostic [label="found contract 'Foo'\nlevel Debug\ntests/contract_testcases/substrate/functions/mangling_01.sol:1:1-6:2"]
	diagnostic_9 [label="mangling the symbol of overloaded function 'f' with signature 'f(bool)' results in a new symbol 'f_bool' but this symbol already exists\nlevel Error\ntests/contract_testcases/substrate/functions/mangling_01.sol:4:2-34"]
	note [label="this function declaration conflicts with mangled name\ntests/contract_testcases/substrate/functions/mangling_01.sol:2:2-31"]
	contracts -> contract
	contract -> f_bool [label="function"]
	contract -> f [label="function"]
	f -> parameters [label="parameters"]
	contract -> f_5 [label="function"]
	f_5 -> parameters_6 [label="parameters"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_9 [label="Error"]
	diagnostic_9 -> note [label="note"]
}
