bless batch

Author: zedddie

tests/ui/array-slice-vec/eval-array-expr.rs

@@ -1,9 +1,12 @@
+//! Regression test for <https://github.com/rust-lang/rust/issues/23354>.
+//! Check expr in [expr; N] is always being evaluated.
+//!
+//! This used to trigger an LLVM assertion during compilation
 //@ run-fail
 //@ error-pattern:panic evaluated
 //@ needs-subprocess
 
 #[allow(unused_variables)]
 fn main() {
-    // This used to trigger an LLVM assertion during compilation
     let x = [panic!("panic evaluated"); 2];
 }

tests/ui/array-slice-vec/eval-empty-array-expr.rs

@@ -1,3 +1,5 @@
+//! Regression test for <https://github.com/rust-lang/rust/issues/23354>.
+//! Check expr in [expr; N] is always being evaluated.
 //@ run-fail
 //@ error-pattern:panic evaluated
 //@ needs-subprocess

tests/ui/associated-types/associated-type-unconstrained-lifetime.rs

@@ -1,4 +1,15 @@
-// Regression test for #22886.
+//! Regression test for <https://github.com/rust-lang/rust/issues/22886>.
+//! Test that associated type's inner state cannot be observed past
+//! borrow end via saved reference.
+//!
+//! This was possible as trait implementation with unconstrained lifetime
+//! allowed to use any lifetime for associated type, which introduced
+//! soundness holes.
+//!
+//! Fixed by prohibiting use of unconstrained lifetimes on associated types
+//! in <https://github.com/rust-lang/rust/pull/24461>.
+//!
+//! Related <https://github.com/rust-lang/rust/issues/22077>.
 
 fn crash_please() {
     let mut iter = Newtype(Some(Box::new(0)));

tests/ui/associated-types/associated-type-unconstrained-lifetime.stderr

@@ -1,5 +1,5 @@
 error[E0207]: the lifetime parameter `'a` is not constrained by the impl trait, self type, or predicates
-  --> $DIR/issue-22886.rs:13:6
+  --> $DIR/associated-type-unconstrained-lifetime.rs:24:6
    |
 LL | impl<'a> Iterator for Newtype {
    |      ^^ unconstrained lifetime parameter

tests/ui/cast/dyn-any-to-fn-with-missing-generics.rs

@@ -1,3 +1,4 @@
+//! Regression test for <https://github.com/rust-lang/rust/issues/23024>.
 use std::any::Any;
 
 fn main()

tests/ui/cast/dyn-any-to-fn-with-missing-generics.stderr

@@ -1,5 +1,5 @@
 error[E0658]: the precise format of `Fn`-family traits' type parameters is subject to change
-  --> $DIR/issue-23024.rs:8:39
+  --> $DIR/dyn-any-to-fn-with-missing-generics.rs:9:39
    |
 LL |     println!("{:?}",(vfnfer[0] as dyn Fn)(3));
    |                                       ^^ help: use parenthetical notation instead: `Fn() -> ()`
@@ -9,7 +9,7 @@ LL |     println!("{:?}",(vfnfer[0] as dyn Fn)(3));
    = note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
 
 error[E0107]: missing generics for trait `Fn`
-  --> $DIR/issue-23024.rs:8:39
+  --> $DIR/dyn-any-to-fn-with-missing-generics.rs:9:39
    |
 LL |     println!("{:?}",(vfnfer[0] as dyn Fn)(3));
    |                                       ^^ expected 1 generic argument

tests/ui/dst/match-dst-struct.rs

@@ -1,5 +1,6 @@
+//! Regression test for <https://github.com/rust-lang/rust/issues/23261>.
+//! Matching on a DST struct should not trigger an LLVM assertion.
 //@ run-pass
-// Matching on a DST struct should not trigger an LLVM assertion.
 
 struct Foo<T: ?Sized> {
     a: i32,

tests/ui/higher-ranked/leak-check/trait-object-assoc-type-bound-unsatisfied.rs

@@ -1,3 +1,5 @@
+//! Regression test for <https://github.com/rust-lang/rust/issues/22872>.
+
 trait Wrap<'b> {
     fn foo(&'b mut self);
 }

tests/ui/higher-ranked/leak-check/trait-object-assoc-type-bound-unsatisfied.stderr

@@ -1,12 +1,12 @@
 error[E0277]: `<P as Process<'_>>::Item` is not an iterator
-  --> $DIR/issue-22872.rs:20:40
+  --> $DIR/trait-object-assoc-type-bound-unsatisfied.rs:22:40
    |
 LL |     let _: Box<dyn for<'b> Wrap<'b>> = Box::new(Wrapper(process));
    |                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^ `<P as Process<'_>>::Item` is not an iterator
    |
    = help: the trait `Iterator` is not implemented for `<P as Process<'_>>::Item`
 note: required for `Wrapper<P>` to implement `for<'b> Wrap<'b>`
-  --> $DIR/issue-22872.rs:7:13
+  --> $DIR/trait-object-assoc-type-bound-unsatisfied.rs:9:13
    |
 LL | impl<'b, P> Wrap<'b> for Wrapper<P>
    |             ^^^^^^^^     ^^^^^^^^^^

tests/ui/inference/downcast-fn-ptr-placeholder.rs

@@ -1,3 +1,6 @@
+//! Regression test for <https://github.com/rust-lang/rust/issues/23041>.
+//! Previously ICEd with cat_expr error, fixed by delaying bug.
+
 use std::any::Any;
 fn main()
 {