interface DefaultMethods {

    default void method(String param) {
        // :: error: (assignment.type.incompatible)
        param = null;

        String s = null;
        // :: error: (dereference.of.nullable)
        s.toString();

        // Ensure dataflow is running
        s = "";
        s.toString();
    }
}