Symbol name predicate list printed `+` excessively

This commit is contained in:
Oliver Scherer 2019-04-22 13:29:23 +02:00
parent c28084ac16
commit 14178efa5d
1 changed files with 1 additions and 1 deletions

View File

@ -427,7 +427,7 @@ impl Printer<'tcx, 'tcx> for SymbolPrinter<'_, 'tcx> {
mut self, mut self,
predicates: &'tcx ty::List<ty::ExistentialPredicate<'tcx>>, predicates: &'tcx ty::List<ty::ExistentialPredicate<'tcx>>,
) -> Result<Self::DynExistential, Self::Error> { ) -> Result<Self::DynExistential, Self::Error> {
let mut first = false; let mut first = true;
for p in predicates { for p in predicates {
if !first { if !first {
write!(self, "+")?; write!(self, "+")?;