Suggest using --verbose when writing type to a file

Author: ffmancera

compiler/rustc_hir_typeck/src/method/suggest.rs

@@ -368,7 +368,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
             );
         };
         if let Some(file) = file {
-            err.note(format!("the full type name has been written to '{}'", file.display()));
+            err.note(format!("the full type name has been written to '{}' consider using --verbose to print it to the console", file.display()));
         }
 
         err
@@ -492,7 +492,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
         }
 
         if let Some(file) = ty_file {
-            err.note(format!("the full type name has been written to '{}'", file.display(),));
+            err.note(format!("the full type name has been written to '{}' consider using --verbose to print it to the console", file.display(),));
         }
         if rcvr_ty.references_error() {
             err.downgrade_to_delayed_bug();

compiler/rustc_infer/src/infer/error_reporting/mod.rs

@@ -1928,7 +1928,7 @@ impl<'tcx> TypeErrCtxt<'_, 'tcx> {
                                 );
                                 if let Some(path) = path {
                                     diag.note(format!(
-                                        "the full type name has been written to '{}'",
+                                        "the full type name has been written to '{}' consider using --verbose to print it to the console",
                                         path.display(),
                                     ));
                                 }

compiler/rustc_trait_selection/src/traits/error_reporting/suggestions.rs

@@ -1551,7 +1551,7 @@ impl<'tcx> TypeErrCtxtExt<'tcx> for TypeErrCtxt<'_, 'tcx> {
                     );
                     if let Some(file) = file {
                         err.note(format!(
-                            "the full type name has been written to '{}'",
+                            "the full type name has been written to '{}' consider using --verbose to print it to the console",
                             file.display()
                         ));
                     }
@@ -3597,7 +3597,7 @@ impl<'tcx> TypeErrCtxtExt<'tcx> for TypeErrCtxt<'_, 'tcx> {
 
                 if let Some(file) = file {
                     err.note(format!(
-                        "the full type name has been written to '{}'",
+                        "the full type name has been written to '{}' consider using --verbose to print it to the console",
                         file.display(),
                     ));
                 }
@@ -3650,7 +3650,7 @@ impl<'tcx> TypeErrCtxtExt<'tcx> for TypeErrCtxt<'_, 'tcx> {
                     ));
                     if let Some(file) = file {
                         err.note(format!(
-                            "the full type name has been written to '{}'",
+                            "the full type name has been written to '{}' consider using --verbose to print it to the console",
                             file.display(),
                         ));
                     }

tests/ui/diagnostic-width/long-E0308.stderr

@@ -20,7 +20,7 @@ LL |  |     ))))))))))))))))))))))))))))));
    |
    = note: expected struct `Atype<Btype<..., ...>, ...>`
                 found enum `Result<Result<..., ...>, ...>`
-   = note: the full type name has been written to '$TEST_BUILD_DIR/diagnostic-width/long-E0308/long-E0308.long-type-hash.txt'
+   = note: the full type name has been written to '$TEST_BUILD_DIR/diagnostic-width/long-E0308/long-E0308.long-type-hash.txt' consider using --verbose to print it to the console
 
 error[E0308]: mismatched types
   --> $DIR/long-E0308.rs:57:26
@@ -35,7 +35,7 @@ LL | |     ))))))))))))))))))))))));
    |
    = note: expected enum `Option<Result<..., ...>>`
               found enum `Result<Result<..., ...>, ...>`
-   = note: the full type name has been written to '$TEST_BUILD_DIR/diagnostic-width/long-E0308/long-E0308.long-type-hash.txt'
+   = note: the full type name has been written to '$TEST_BUILD_DIR/diagnostic-width/long-E0308/long-E0308.long-type-hash.txt' consider using --verbose to print it to the console
 
 error[E0308]: mismatched types
   --> $DIR/long-E0308.rs:88:9
@@ -54,7 +54,7 @@ LL | |     > = ();
    |
    = note: expected struct `Atype<Btype<..., ...>, ...>`
            found unit type `()`
-   = note: the full type name has been written to '$TEST_BUILD_DIR/diagnostic-width/long-E0308/long-E0308.long-type-hash.txt'
+   = note: the full type name has been written to '$TEST_BUILD_DIR/diagnostic-width/long-E0308/long-E0308.long-type-hash.txt' consider using --verbose to print it to the console
 
 error[E0308]: mismatched types
   --> $DIR/long-E0308.rs:91:17
@@ -71,7 +71,7 @@ LL | |     ))))))))))))))))))))))));
    |
    = note: expected unit type `()`
                    found enum `Result<Result<..., ...>, ...>`
-   = note: the full type name has been written to '$TEST_BUILD_DIR/diagnostic-width/long-E0308/long-E0308.long-type-hash.txt'
+   = note: the full type name has been written to '$TEST_BUILD_DIR/diagnostic-width/long-E0308/long-E0308.long-type-hash.txt' consider using --verbose to print it to the console
 
 error: aborting due to 4 previous errors