Consider inner modules to be local in the non_local_definitions
lint#124539
Merged
bors merged 1 commit intorust-lang:masterfrom Urgau:non-local-defs_modulo_modulesMay 1, 2024
+49-5
non_local_definitions
lint#124539