slither/tests/detectors/missing-inheritance/0.6.11/unimplemented_interface.sol

interface ISomething {
    function f1() external returns(uint);
}

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