unevaluated_fixed_size_array_len

Kivooeo · Kivooeo · commit 2cf2d68e7876 · 2025-07-01T22:48:42.000+05:00
diff --git a/tests/ui/consts/const-eval-array-len-in-impl.rs b/tests/ui/consts/const-eval-array-len-in-impl.rs
@@ -1,4 +1,6 @@
-// https://github.com/rust-lang/rust/issues/49208
+//! This checks that compiler correctly evaluate constant array lengths within trait `impl` headers.
+//!
+//! Regression test for <https://github.com/rust-lang/rust/issues/49208>.
 
 trait Foo {
     fn foo();
diff --git a/tests/ui/consts/const-eval-array-len-in-impl.stderr b/tests/ui/consts/const-eval-array-len-in-impl.stderr
@@ -1,5 +1,5 @@
 error[E0277]: the trait bound `[(); 0]: Foo` is not satisfied
-  --> $DIR/unevaluated_fixed_size_array_len.rs:12:6
+  --> $DIR/const-eval-array-len-in-impl.rs:14:6
    |
 LL |     <[(); 0] as Foo>::foo()
    |      ^^^^^^^ the trait `Foo` is not implemented for `[(); 0]`

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	error[E0277]: the trait bound `[(); 0]: Foo` is not satisfied
`2`		`- --> $DIR/unevaluated_fixed_size_array_len.rs:12:6`
	`2`	`+ --> $DIR/const-eval-array-len-in-impl.rs:14:6`
`3`	`3`	`\|`
`4`	`4`	`LL \| <[(); 0] as Foo>::foo()`
`5`	`5`	\| ^^^^^^^ the trait `Foo` is not implemented for `[(); 0]`