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
module_name_repetitions: don't warn if the item is in a private module.
Fixes <#8524>.
There is still a warning (as there should be) if the item is reexported
by name, but not by glob; that would require further work to examine the
names in the glob, and I haven't looked into that.
Credit to @Centri3 for suggesting approximately this simple fix in
<#8524 (comment)>.
However, per later comment <#8524 (comment)>,
I am not making it configuration-dependent, but *always* checking public
items in public modules only.
0 commit comments