Un-redact one occurrence of "coverage attribute not allowed here"

Zalathar · Zalathar · commit e48fc62ce075 · 2024-12-25T19:23:48.000+11:00
diff --git a/tests/ui/coverage-attr/allowed-positions.rs b/tests/ui/coverage-attr/allowed-positions.rs
@@ -11,7 +11,7 @@
 #[coverage(off)]
 mod submod {}
 
-#[coverage(off)] //~ ERROR [E0788]
+#[coverage(off)] //~ ERROR coverage attribute not allowed here [E0788]
 type MyTypeAlias = ();
 
 #[coverage(off)] //~ ERROR [E0788]
