openide/java/java-tests/testData/refactoring/safeDelete/UpdateContractOnParameterRemoval_after.java

import org.jetbrains.annotations.Contract;

class C {
    @Contract("null -> false")
    public static boolean checkSomething(Object o1) {
        if(!(o1 instanceof String)) return false;
        return Math.random() > 0.5;
    }
}