You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Suppose a module dep that exports package dep with class dep.D. And suppose another module:
moduleApp {
requiresdep;
exportsapptodep;
}
then
packageapp;
publicclassA {
publicdep.Dd;
}
emits a warning:
The type D from module dep may not be accessible to clients due to missing 'requires transitive'
While it's true that it may not be accessible, since the module exposes the package (and class) to the module that defines that class, we can know that it will be accessible.
Can the compiler be smarter and check if the targets of an export have access to the exposed types?
The text was updated successfully, but these errors were encountered:
Suppose a
module dep
that exportspackage dep
with classdep.D
. And suppose another module:then
emits a warning:
While it's true that it may not be accessible, since the module exposes the package (and class) to the module that defines that class, we can know that it will be accessible.
Can the compiler be smarter and check if the targets of an export have access to the exposed types?
The text was updated successfully, but these errors were encountered: