slither/tests/detectors/unimplemented-functions/0.5.16/unimplemented.sol

interface BaseInterface {
    function f1() external returns(uint);
    function f2() external returns(uint);
}

interface BaseInterface2 {
    function f3() external returns(uint);
}

contract DerivedContract_bad0 is BaseInterface, BaseInterface2 {
    function f1() external returns(uint){
        return 42;
    }
}

contract AbstractContract_bad1 {
    function f1() external returns(uint);
    function f2() external returns(uint){
        return 42;
    }
}

contract BaseInterface3 {
    function get(uint) external returns(uint);
}

contract DerivedContract_bad2 is BaseInterface3 {
  // the mapping type get(uint => bool) does NOT match the function get(uint) => uint
  mapping(uint => bool) public get;
  function f1() external returns(uint){
    return 42;
  }
}

contract DerivedContract_good is BaseInterface3 {
  // In solc >= 0.5.1, the mapping type get(uint => uint) matches the function get(uint) => uint
  mapping(uint => uint) public get;
  function f1() external returns(uint){
    return 42;
  }
}