Skip to content
Permalink
Browse files

improve comments

  • Loading branch information...
arielb1 committed Jul 27, 2019
1 parent 1ec7ae1 commit b5665e811ba4eca0f778efb65bd3e4a69f4c3ca6
Showing with 2 additions and 2 deletions.
  1. +1 −1 src/librustc/traits/select.rs
  2. +1 −1 src/librustc/ty/mod.rs
@@ -1326,7 +1326,7 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> {
(result, dep_node)
}

// Treat negative impls as unimplemented, and reservation impls as Ok(None)
// Treat negative impls as unimplemented, and reservation impls as ambiguity.
fn filter_negative_and_reservation_impls(
&self,
candidate: SelectionCandidate<'tcx>,
@@ -2931,7 +2931,7 @@ impl<'tcx> TyCtxt<'tcx> {
}
(ImplPolarity::Positive, ImplPolarity::Negative) |
(ImplPolarity::Negative, ImplPolarity::Positive) => {
// FIXME: when can this happen?
// `impl AutoTrait for Type` + `impl !AutoTrait for Type`
debug!("impls_are_allowed_to_overlap({:?}, {:?}) - None (differing polarities)",
def_id1, def_id2);
return None;

0 comments on commit b5665e8

Please sign in to comment.
You can’t perform that action at this time.