clarify purposes of tests

WaffleLapkin · WaffleLapkin · commit e0551d770845 · 2025-12-02T11:07:42.000+01:00
diff --git a/tests/ui/editions/never-type-fallback-breaking.rs b/tests/ui/editions/never-type-fallback-breaking.rs
@@ -1,3 +1,7 @@
+// This is a test for various ways in which the change to the never type
+// fallback can break things and for the `dependency_on_unit_never_type_fallback`
+// lint.
+//
 //@ revisions: e2021 e2024
 //
 //@[e2021] edition: 2021
diff --git a/tests/ui/never_type/exhaustive_patterns.rs b/tests/ui/never_type/exhaustive_patterns.rs
@@ -1,3 +1,6 @@
+// Check that we don't consider types which aren't publicly uninhabited as
+// uninhabited for purposes of pattern matching.
+//
 //@ check-fail
 
 #![feature(exhaustive_patterns, never_type)]
diff --git a/tests/ui/never_type/never-result.rs b/tests/ui/never_type/never-result.rs
@@ -1,3 +1,6 @@
+// Test that `!` can be coerced to multiple different types after getting it
+// from pattern matching.
+//
 //@ run-pass
 
 #![allow(unused_variables)]
diff --git a/tests/ui/never_type/never-type-rvalues.rs b/tests/ui/never_type/never-type-rvalues.rs
@@ -1,3 +1,5 @@
+// Check that the never type can be used in various positions.
+//
 //@ run-pass
 
 #![feature(never_type)]

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+// Check that the never type can be used in various positions.`
	`2`	`+//`
`1`	`3`	`//@ run-pass`
`2`	`4`
`3`	`5`	`#![feature(never_type)]`