tests/ui/const-generics/issues/issue-88119.rs

   1 // check-pass
   2
   3 #![allow(incomplete_features)]
   4 #![feature(const_trait_impl, generic_const_exprs)]
   5
   6 #[const_trait]
   7 trait ConstName {
   8     const NAME_BYTES: &'static [u8];
   9 }
  10
  11 impl const ConstName for u8 {
  12     const NAME_BYTES: &'static [u8] = b"u8";
  13 }
  14
  15 const fn name_len<T: ?Sized + ConstName>() -> usize {
  16     T::NAME_BYTES.len()
  17 }
  18
  19 impl<T: ?Sized + ConstName> const ConstName for &T
  20 where
  21     [(); name_len::<T>()]:,
  22 {
  23     const NAME_BYTES: &'static [u8] = b"&T";
  24 }
  25
  26 impl<T: ?Sized + ConstName> const ConstName for &mut T
  27 where
  28     [(); name_len::<T>()]:,
  29 {
  30     const NAME_BYTES: &'static [u8] = b"&mut T";
  31 }
  32
  33 pub const ICE_1: &'static [u8] = <&&mut u8 as ConstName>::NAME_BYTES;
  34 pub const ICE_2: &'static [u8] = <&mut &u8 as ConstName>::NAME_BYTES;
  35
  36 fn main() {}