add test for rust-lang#97725

matthiaskrgr · matthiaskrgr · commit 5b5dec338d44 · 2024-03-22T17:12:43.000+01:00
Fixes rust-lang#97725
diff --git a/tests/ui/const-generics/occurs-check/unify-fixpoint.rs b/tests/ui/const-generics/occurs-check/unify-fixpoint.rs
@@ -1,3 +1,8 @@
+// -Zunstable-options added as test for ICE #97725 (left == right)`
+// left: `Binder(<[u8; _] as std::default::Default>, [])`,
+// right: `Binder(<[u8; 4] as std::default::Default>, [])
+
+//@ compile-flags: -Zunstable-options
 //@ check-pass
 #![feature(generic_const_exprs)] //~ WARN the feature `generic_const_exprs` is incomplete
 
diff --git a/tests/ui/const-generics/occurs-check/unify-fixpoint.stderr b/tests/ui/const-generics/occurs-check/unify-fixpoint.stderr
@@ -1,5 +1,5 @@
 warning: the feature `generic_const_exprs` is incomplete and may not be safe to use and/or cause compiler crashes
-  --> $DIR/unify-fixpoint.rs:2:12
+  --> $DIR/unify-fixpoint.rs:7:12
    |
 LL | #![feature(generic_const_exprs)]
    |            ^^^^^^^^^^^^^^^^^^^

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	warning: the feature `generic_const_exprs` is incomplete and may not be safe to use and/or cause compiler crashes
`2`		`- --> $DIR/unify-fixpoint.rs:2:12`
	`2`	`+ --> $DIR/unify-fixpoint.rs:7:12`
`3`	`3`	`\|`
`4`	`4`	`LL \| #![feature(generic_const_exprs)]`
`5`	`5`	`\| ^^^^^^^^^^^^^^^^^^^`