2 // compile-flags: -Z symbol-mangling-version=v0
3 #![feature(rustc_attrs)]
5 pub struct Unsigned<const F: u8>;
8 //~^ ERROR symbol-name(_RMCs4fqI2P2rA04_25const_generics_demanglingINtB0_8UnsignedKhb_E)
9 //~| ERROR demangling(<const_generics_demangling[317d481089b8c8fe]::Unsigned<11: u8>>)
10 //~| ERROR demangling-alt(<const_generics_demangling::Unsigned<11>>)
13 pub struct Signed<const F: i16>;
16 //~^ ERROR symbol-name(_RMs_Cs4fqI2P2rA04_25const_generics_demanglingINtB2_6SignedKsn98_E)
17 //~| ERROR demangling(<const_generics_demangling[317d481089b8c8fe]::Signed<-152: i16>>)
18 //~| ERROR demangling-alt(<const_generics_demangling::Signed<-152>>)
21 pub struct Bool<const F: bool>;
24 //~^ ERROR symbol-name(_RMs0_Cs4fqI2P2rA04_25const_generics_demanglingINtB3_4BoolKb1_E)
25 //~| ERROR demangling(<const_generics_demangling[317d481089b8c8fe]::Bool<true: bool>>)
26 //~| ERROR demangling-alt(<const_generics_demangling::Bool<true>>)
29 pub struct Char<const F: char>;
32 //~^ ERROR symbol-name(_RMs1_Cs4fqI2P2rA04_25const_generics_demanglingINtB3_4CharKc2202_E)
33 //~| ERROR demangling(<const_generics_demangling[317d481089b8c8fe]::Char<'∂': char>>)
34 //~| ERROR demangling-alt(<const_generics_demangling::Char<'∂'>>)