1
Fork 0

Rollup merge of #96026 - matthiaskrgr:clippy_compl_1304, r=Dylan-DPC

couple of clippy::complexity fixes
This commit is contained in:
Dylan DPC 2022-04-15 20:50:47 +02:00 committed by GitHub
commit ba9c3a13ee
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
16 changed files with 25 additions and 29 deletions

View file

@ -238,7 +238,7 @@ impl Session {
}
diag.emit();
// If we should err, make sure we did.
if must_err && !self.has_errors().is_some() {
if must_err && self.has_errors().is_none() {
// We have skipped a feature gate, and not run into other errors... reject.
self.err(
"`-Zunleash-the-miri-inside-of-you` may not be used to circumvent feature \