implement valtrees as the type-system representation for constant values

[rust.git] / src / test / incremental / issue-54242.rs

diff --git a/src/test/incremental/issue-54242.rs b/src/test/incremental/issue-54242.rs
index 25dc7cdf129d5037a494425510a107d5df21ed85..d32df9544997e628b9c466fb4ddabd4b67795137 100644 (file)
--- a/src/test/incremental/issue-54242.rs
+++ b/src/test/incremental/issue-54242.rs
@@ -1,6 +1,9 @@
 // revisions: rpass cfail
 
-trait Tr {
+trait Tr
+where
+    (Self::Arr,): Sized,
+{
     type Arr;
 
     const C: usize = 0;
@@ -11,7 +14,7 @@ impl Tr for str {
     type Arr = [u8; 8];
     #[cfg(cfail)]
     type Arr = [u8; Self::C];
-    //[cfail]~^ ERROR cycle detected when simplifying constant
+    //[cfail]~^ ERROR cycle detected when evaluate type-level constant
 }
 
 fn main() {}