The java.base module and other modules in the JDK are compiled with many doclint checks enabled, including the doclint check for "missing" javadoc (JDK-8075771, JDK-8072734).

However, given the existence of JDK-8161965, the missing doclint check is apparently not be done for module-info files.