about summary refs log tree commit diff
path: root/src/test/ui/const-generics/issues/issue-73260.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/const-generics/issues/issue-73260.rs')
-rw-r--r--src/test/ui/const-generics/issues/issue-73260.rs19
1 files changed, 0 insertions, 19 deletions
diff --git a/src/test/ui/const-generics/issues/issue-73260.rs b/src/test/ui/const-generics/issues/issue-73260.rs
deleted file mode 100644
index d762f9c8b26..00000000000
--- a/src/test/ui/const-generics/issues/issue-73260.rs
+++ /dev/null
@@ -1,19 +0,0 @@
-// compile-flags: -Zsave-analysis
-#![feature(generic_const_exprs)]
-#![allow(incomplete_features)]
-struct Arr<const N: usize>
-where
-    Assert::<{N < usize::MAX / 2}>: IsTrue,
-{}
-
-enum Assert<const CHECK: bool> {}
-
-trait IsTrue {}
-
-impl IsTrue for Assert<true> {}
-
-fn main() {
-    let x: Arr<{usize::MAX}> = Arr {};
-    //~^ ERROR mismatched types
-    //~| ERROR mismatched types
-}