Print ConstKind::Placeholder just like TyKind::Placeholder
This commit is contained in:
parent
306df94ed3
commit
6ca65bdd75
1 changed files with 1 additions and 15 deletions
|
@ -913,21 +913,7 @@ pub trait PrettyPrinter<'tcx>:
|
||||||
ty::ConstKind::Bound(debruijn, bound_var) => {
|
ty::ConstKind::Bound(debruijn, bound_var) => {
|
||||||
self.pretty_print_bound_var(debruijn, bound_var)?
|
self.pretty_print_bound_var(debruijn, bound_var)?
|
||||||
}
|
}
|
||||||
ty::ConstKind::Placeholder(_) => {
|
ty::ConstKind::Placeholder(placeholder) => p!(write("Placeholder({:?})", placeholder)),
|
||||||
// fallback
|
|
||||||
if print_ty {
|
|
||||||
self = self.typed_value(
|
|
||||||
|mut this| {
|
|
||||||
write!(this, "{:?}", ct.val)?;
|
|
||||||
Ok(this)
|
|
||||||
},
|
|
||||||
|this| this.print_type(ct.ty),
|
|
||||||
": ",
|
|
||||||
)?;
|
|
||||||
} else {
|
|
||||||
p!(write("{:?}", ct.val));
|
|
||||||
}
|
|
||||||
}
|
|
||||||
};
|
};
|
||||||
Ok(self)
|
Ok(self)
|
||||||
}
|
}
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue