Inconsistency between compiler and IntelliJ highlighting

Demo7.java

package com.github.cc007;

import lombok.ToString;
import manifold.ext.props.rt.api.PropOption;
import manifold.ext.props.rt.api.get;
import manifold.ext.props.rt.api.set;
import manifold.ext.props.rt.api.val;
import manifold.ext.props.rt.api.var;

import static manifold.ext.props.rt.api.PropOption.Private;
import static manifold.ext.props.rt.api.PropOption.Protected;

/**
 * With manifold-props, you can specify if a field should have a getter and/or setter.
 */
public class Demo7 {

    // added lombok annotation to interact with the class fields from inside the class
    @ToString
    public static class Properties {
        @var @set(Protected) public String protectedSet = "can only set in class and subclasses";
        @var @set(Private) String privateSet = "can only set in class itself";

        public Properties() {
            protectedSet = "protected setter used in Properties";
            privateSet = "private setter used in Properties";
        }
    }

    public static class SubProperties extends Properties {
        public SubProperties() {
            protectedSet = "protected setter used in SubProperties";
            privateSet = "private setter used in SubProperties";
        }
    }

    public static void main(String[] args) {
        Properties properties = new Properties();
        System.out.println(properties);
        SubProperties subProperties = new SubProperties();
        System.out.println(subProperties);
    }
}