strict digraph "tests/contract_testcases/substrate/contracts/contract_type.sol" {
	contract [label="contract printer\ntests/contract_testcases/substrate/contracts/contract_type.sol:2:9-6:10"]
	test [label="function test\ncontract: printer\ntests/contract_testcases/substrate/contracts/contract_type.sol:3:13-35\nsignature test()\nvisibility public\nmutability nonpayable"]
	expr [label="expression\ntests/contract_testcases/substrate/contracts/contract_type.sol:4:17-37"]
	builtins [label="builtin Print\ntests/contract_testcases/substrate/contracts/contract_type.sol:4:17-22"]
	alloc_array [label="alloc array string\ninitializer: 496e20662e746573742829\ntests/contract_testcases/substrate/contracts/contract_type.sol:4:23-36"]
	number_literal [label="uint32 literal: 11\ntests/contract_testcases/substrate/contracts/contract_type.sol:4:23-36"]
	contract_7 [label="contract foo\ntests/contract_testcases/substrate/contracts/contract_type.sol:8:9-16:10"]
	test1 [label="function test1\ncontract: foo\ntests/contract_testcases/substrate/contracts/contract_type.sol:9:13-45\nsignature test1(address)\nvisibility public\nmutability nonpayable"]
	parameters [label="parameters\ncontract printer x"]
	test2 [label="function test2\ncontract: foo\ntests/contract_testcases/substrate/contracts/contract_type.sol:13:13-45\nsignature test2(address)\nvisibility public\nmutability nonpayable"]
	parameters_11 [label="parameters\naddress x"]
	var_decl [label="variable decl contract printer y\ntests/contract_testcases/substrate/contracts/contract_type.sol:14:17-39"]
	cast [label="cast contract printer\ntests/contract_testcases/substrate/contracts/contract_type.sol:14:29-39"]
	variable [label="variable: x\naddress\ntests/contract_testcases/substrate/contracts/contract_type.sol:14:37-38"]
	diagnostic [label="found contract 'printer'\nlevel Debug\ntests/contract_testcases/substrate/contracts/contract_type.sol:2:9-6:10"]
	diagnostic_17 [label="found contract 'foo'\nlevel Debug\ntests/contract_testcases/substrate/contracts/contract_type.sol:8:9-16:10"]
	diagnostic_18 [label="implicit conversion to address from contract printer not allowed\nlevel Error\ntests/contract_testcases/substrate/contracts/contract_type.sol:10:29-30"]
	contracts -> contract
	contract -> test [label="function"]
	test -> expr [label="body"]
	expr -> builtins [label="expr"]
	builtins -> alloc_array [label="arg #0"]
	alloc_array -> number_literal [label="length"]
	contracts -> contract_7
	contract_7 -> test1 [label="function"]
	test1 -> parameters [label="parameters"]
	contract_7 -> test2 [label="function"]
	test2 -> parameters_11 [label="parameters"]
	test2 -> var_decl [label="body"]
	var_decl -> cast [label="init"]
	cast -> variable [label="expr"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_17 [label="Debug"]
	diagnostics -> diagnostic_18 [label="Error"]
}
