package examples;

import org.checkerframework.checker.initialization.qual.UnknownInitialization;
import org.checkerframework.checker.nullness.qual.NonNull;

public class TestAssignment {

    void a() {
        @NonNull String f = "abc";

        // :: error: (assignment.type.incompatible)
        f = null;
    }

    void b() {
        @UnknownInitialization @NonNull TestAssignment f = new TestAssignment();
    }
}