Improve diagnostics: update note and add help message

Author: reddevilmidzy

compiler/rustc_expand/messages.ftl

@@ -119,7 +119,8 @@ expand_module_file_not_found =
 
 expand_module_in_block =
     cannot declare a non-inline module inside a block unless it has a path attribute
-    .note = maybe `use` the module `{$name}` instead of redeclaring it
+    .help = maybe `use` the module `{$name}` instead of redeclaring it
+    .note = modules are usually placed outside of blocks, at the top level of the file
 
 expand_module_multiple_candidates =
     file for module `{$name}` found at both "{$default_path}" and "{$secondary_path}"

compiler/rustc_expand/src/errors.rs

@@ -265,6 +265,7 @@ pub(crate) struct ModuleCircular {
 
 #[derive(Diagnostic)]
 #[diag(expand_module_in_block)]
+#[note]
 pub(crate) struct ModuleInBlock {
     #[primary_span]
     pub span: Span,
@@ -273,7 +274,7 @@ pub(crate) struct ModuleInBlock {
 }
 
 #[derive(Subdiagnostic)]
-#[note(expand_note)]
+#[help(expand_help)]
 pub(crate) struct ModuleInBlockName {
     #[primary_span]
     pub span: Span,

tests/ui/directory_ownership/macro-expanded-mod.rs

@@ -2,7 +2,7 @@
 
 macro_rules! mod_decl {
     ($i:ident) => {
-        mod $i; //~ ERROR cannot declare a non-inline module inside a block
+        mod $i; //~ ERROR cannot declare a non-inline module inside a block unless it has a path attribute
     };
 }
 

tests/ui/directory_ownership/macro-expanded-mod.stderr

@@ -7,6 +7,7 @@ LL |         mod $i;
 LL |     mod_decl!(foo);
    |     -------------- in this macro invocation
    |
+   = note: modules are usually placed outside of blocks, at the top level of the file
    = note: this error originates in the macro `mod_decl` (in Nightly builds, run with -Z macro-backtrace for more info)
 
 error: aborting due to 1 previous error

tests/ui/directory_ownership/non-inline-mod-restriction.rs

@@ -1,5 +1,5 @@
 // Test that non-inline modules are not allowed inside blocks.
 
 fn main() {
-    mod foo; //~ ERROR cannot declare a non-inline module inside a block
+    mod foo; //~ ERROR cannot declare a non-inline module inside a block unless it has a path attribute
 }

tests/ui/directory_ownership/non-inline-mod-restriction.stderr

@@ -3,6 +3,8 @@ error: cannot declare a non-inline module inside a block unless it has a path at
    |
 LL |     mod foo;
    |     ^^^^^^^^
+   |
+   = note: modules are usually placed outside of blocks, at the top level of the file
 
 error: aborting due to 1 previous error