fn library_has_safe_transfer_from(hir: &Hir<'_>, cid: ContractId) -> boolExpand description
4-arg safeTransferFrom(token, address, address, uint256). token is either address
(Solady) or a contract declaring ERC20’s transferFrom(...)→bool (OZ SafeERC20);
ERC721/1155 helpers are excluded since their transferFrom has no return.