squiid/rust
1
0
Fork 0
Code Issues Pull requests Projects Activity

Fix allow_negative_impls logic

Browse source
This commit is contained in:
Santiago Pastorino 2021-10-20 18:05:06 -03:00
parent 68d444ffa1
commit 5a727538f8
No known key found for this signature in database
GPG key ID: 8131A24E0C79EFAF
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
compiler/rustc_trait_selection/src/traits/select/mod.rs
View file

@ -1129,8 +1129,8 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> {
candidates.retain(|candidate| {
if let ImplCandidate(def_id) = candidate {
ty::ImplPolarity::Reservation == tcx.impl_polarity(*def_id)
|| !self.allow_negative_impls
&& stack.obligation.polarity() == tcx.impl_polarity(*def_id)
|| stack.obligation.polarity() == tcx.impl_polarity(*def_id)
|| self.allow_negative_impls
} else {
true
}