3 #![allow(incomplete_features)]
4 #![feature(const_trait_impl, generic_const_exprs)]
8 const NAME_BYTES: &'static [u8];
11 impl const ConstName for u8 {
12 const NAME_BYTES: &'static [u8] = b"u8";
15 const fn name_len<T: ?Sized + ConstName>() -> usize {
19 impl<T: ?Sized + ConstName> const ConstName for &T
21 [(); name_len::<T>()]:,
23 const NAME_BYTES: &'static [u8] = b"&T";
26 impl<T: ?Sized + ConstName> const ConstName for &mut T
28 [(); name_len::<T>()]:,
30 const NAME_BYTES: &'static [u8] = b"&mut T";
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;