about summary refs log tree commit diff
path: root/src/test/ui/const-generics/issues/issue-88119.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/const-generics/issues/issue-88119.rs')
-rw-r--r--src/test/ui/const-generics/issues/issue-88119.rs36
1 files changed, 0 insertions, 36 deletions
diff --git a/src/test/ui/const-generics/issues/issue-88119.rs b/src/test/ui/const-generics/issues/issue-88119.rs
deleted file mode 100644
index 647b0eea86d..00000000000
--- a/src/test/ui/const-generics/issues/issue-88119.rs
+++ /dev/null
@@ -1,36 +0,0 @@
-// check-pass
-
-#![allow(incomplete_features)]
-#![feature(const_trait_impl, generic_const_exprs)]
-
-#[const_trait]
-trait ConstName {
-    const NAME_BYTES: &'static [u8];
-}
-
-impl const ConstName for u8 {
-    const NAME_BYTES: &'static [u8] = b"u8";
-}
-
-const fn name_len<T: ?Sized + ConstName>() -> usize {
-    T::NAME_BYTES.len()
-}
-
-impl<T: ?Sized + ConstName> const ConstName for &T
-where
-    [(); name_len::<T>()]:,
-{
-    const NAME_BYTES: &'static [u8] = b"&T";
-}
-
-impl<T: ?Sized + ConstName> const ConstName for &mut T
-where
-    [(); name_len::<T>()]:,
-{
-    const NAME_BYTES: &'static [u8] = b"&mut T";
-}
-
-pub const ICE_1: &'static [u8] = <&&mut u8 as ConstName>::NAME_BYTES;
-pub const ICE_2: &'static [u8] = <&mut &u8 as ConstName>::NAME_BYTES;
-
-fn main() {}