Skip to content

Commit 1b1c787

Browse files
notriddlecjgillot
andcommitted
Use De Morgan's law to simplify logic
Co-authored-by: Camille Gillot <[email protected]>
1 parent 190047f commit 1b1c787

File tree

1 file changed

+6
-6
lines changed
  • compiler/rustc_middle/src/ty

1 file changed

+6
-6
lines changed

compiler/rustc_middle/src/ty/util.rs

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -818,15 +818,15 @@ impl<'tcx> TyCtxt<'tcx> {
818818
pub fn is_user_visible_dep(self, key: CrateNum) -> bool {
819819
// | Private | Direct | Visible | |
820820
// |---------|--------|---------|--------------------|
821-
// | Yes | Yes | Yes | !(true && !true) |
822-
// | No | Yes | Yes | !(false && !true) |
823-
// | Yes | No | No | !(true && !false) |
824-
// | No | No | Yes | !(false && !false) |
825-
!(self.is_private_dep(key)
821+
// | Yes | Yes | Yes | !true || true |
822+
// | No | Yes | Yes | !false || true |
823+
// | Yes | No | No | !true || false |
824+
// | No | No | Yes | !false || false |
825+
!self.is_private_dep(key)
826826
// If `extern_crate` is `None`, then the crate was injected (e.g., by the allocator).
827827
// Treat that kind of crate as "indirect", since it's an implementation detail of
828828
// the language.
829-
&& !self.extern_crate(key.as_def_id()).map_or(false, |e| e.is_direct()))
829+
|| self.extern_crate(key.as_def_id()).map_or(false, |e| e.is_direct())
830830
}
831831
}
832832

0 commit comments

Comments
 (0)