solidity/test/libsolidity/smtCheckerTests/types/function_type_call.sol

pragma experimental SMTChecker;
contract C {
	function(uint) m_g;
    function f(function(uint) internal g) internal {
		g(2);
    }
	function h() public {
		f(m_g);
	}
}
// ----
// Warning 5729: (121-125): Assertion checker does not yet implement this type of function call.
// Warning 5729: (121-125): Assertion checker does not yet implement this type of function call.