Permit ty::Bool in const generics for v0 mangling

This commit is contained in:
Mark Rousskov 2020-10-02 09:28:05 -04:00
parent 154f1f544d
commit 89fdfe6828
2 changed files with 19 additions and 0 deletions

View File

@ -504,6 +504,7 @@ impl Printer<'tcx> for SymbolMangler<'tcx> {
match ct.ty.kind() { match ct.ty.kind() {
ty::Uint(_) => {} ty::Uint(_) => {}
ty::Bool => {}
_ => { _ => {
bug!("symbol_names: unsupported constant of type `{}` ({:?})", ct.ty, ct); bug!("symbol_names: unsupported constant of type `{}` ({:?})", ct.ty, ct);
} }

View File

@ -0,0 +1,18 @@
// check-pass
// revisions: legacy v0
//[legacy]compile-flags: -Z symbol-mangling-version=legacy --crate-type=lib
//[v0]compile-flags: -Z symbol-mangling-version=v0 --crate-type=lib
#![feature(min_const_generics)]
pub struct Bar<const F: bool>;
impl Bar<true> {
pub fn foo() {}
}
impl<const F: bool> Bar<F> {
pub fn bar() {}
}
fn main() {}