hyperledger-solang_solang/tests/contract_testcases/solana/abstract_interface.sol

abstract contract A {
	function v(int) public virtual;
}
contract C {
	function t(A a) public {
		a.v(1);
	}
}