Lombok @nonnull doesn't work for local variables (by design)

LombokNonNullTest.java

import lombok.NonNull;
import lombok.Value;
import lombok.val;
import org.junit.Test;

import static org.junit.Assert.fail;


public class LombokNonNullTest {

    @Value
    class Bean {

        String message;
    }

    class SomeCode {
        
        void process(Bean bean) {

            @NonNull
            val message = bean.getMessage();

            // ... go on happily because message cannot be null
        }
    }


    @Test
    public void nonNull_works_on_local_variable() {

        try {
            new SomeCode().process(new Bean(null));
            fail();
        } catch (IllegalArgumentException expected) {
        }

    }
}