fix flag computation for ExistentialPredicate::Projection

lcnr · lcnr · commit fd22e87afc90 · 2020-09-18T22:13:07.000+02:00
diff --git a/compiler/rustc_middle/src/ty/flags.rs b/compiler/rustc_middle/src/ty/flags.rs
@@ -160,9 +160,7 @@ impl FlagComputation {
                     match predicate {
                         ty::ExistentialPredicate::Trait(tr) => computation.add_substs(tr.substs),
                         ty::ExistentialPredicate::Projection(p) => {
-                            let mut proj_computation = FlagComputation::new();
-                            proj_computation.add_existential_projection(&p);
-                            self.add_bound_computation(proj_computation);
+                            computation.add_existential_projection(&p);
                         }
                         ty::ExistentialPredicate::AutoTrait(_) => {}
                     }

Original file line number	Diff line number	Diff line change
`@@ -160,9 +160,7 @@ impl FlagComputation {`
`160`	`160`	`match predicate {`
`161`	`161`	`ty::ExistentialPredicate::Trait(tr) => computation.add_substs(tr.substs),`
`162`	`162`	`ty::ExistentialPredicate::Projection(p) => {`
`163`		`- let mut proj_computation = FlagComputation::new();`
`164`		`- proj_computation.add_existential_projection(&p);`
`165`		`- self.add_bound_computation(proj_computation);`
	`163`	`+ computation.add_existential_projection(&p);`
`166`	`164`	`}`
`167`	`165`	`ty::ExistentialPredicate::AutoTrait(_) => {}`
`168`	`166`	`}`