Although perhaps they could resolve this with magic imports?

    import java.lang.magic.optional;

    public class Foo{
        public static void main(String...args){
            Foo? f = ...;
            if(f){
                f.doThings();
            }
            f.doThings(); //compile time error
        }
    }