javac not enforcing module boundaries?

[Peter Levart]

Hi,

I experimented a little with EA build and found javac behaving a little 
strange. Is this known or expected behaviour?

For example, having the following layout of sources:

modsrc/modA/module-info.java

    module modA {
        requires modB;
    }

modsrc/modA/pkgA/TestA.java

    package pkgA;

    import pkgB.TypeB;

    public class TestA {
        public static void main(String[] args) {
            TypeB b = new TypeB();
            b.getC().getD().helloD();
        }
    }

modsrc/modB/module-info.java

    module modB {
        exports pkgB;
        requires modC;
    }

modsrc/modB/pkgB/TypeB.java

    package pkgB;

    import pkgC.TypeC;

    public class TypeB {
        public TypeC getC() {
            return new TypeC();
        }
    }

modsrc/modC/module-info.java

    module modC {
        exports pkgC;
        requires modD;
    }

modsrc/modC/pkgC/TypeC.java

    package pkgC;

    import pkgD.TypeD;

    public class TypeC {
        public TypeD getD() {
            return new TypeD();
        }
    }

modsrc/modD/module-info.java

    module modD {
        exports pkgD;
    }

modsrc/modD/pkgD/TypeD.java

    package pkgD;

    public class TypeD {java -modulepath modout -m modA/pkgA.TestA
        public void helloD() {
            System.out.println("Hello from " + 
this.getClass().getModule());
        }
    }


and using the following command to compile them:

javac -modulesourcepath modsrc -d modout modsrc/modA/pkgA/TestA.java

They compile without error and produce the following output files:

modout/modA/module-info.class
modout/modA/pkgA/TestA.class
modout/modB/module-info.class
modout/modB/pkgB/TypeB.class
modout/modC/module-info.class
modout/modC/pkgC/TypeC.class
modout/modD/module-info.class
modout/modD/pkgD/TypeD.class


Running the above with the following command:

java -modulepath modout -m modA/pkgA.TestA


Gives the following runtime error:

Exception in thread "main" java.lang.IllegalAccessError: class 
pkgA.TestA (in module: modA) cannot access class pkgC.TypeC (in module: 
modC), modA cannot read modC
        at pkgA.TestA.main(modA@/TestA.java:8)


Which is expected. What I didn't expect is that javac did not figure 
this out correctly. Am I missing something and not using javac in the 
right way?


Regards, Peter