Skip to content

Commit 9938952

Browse files
Suppress must_use for ControlFlow in rust-analyzer
1 parent 1ce45fb commit 9938952

File tree

8 files changed

+14
-14
lines changed

8 files changed

+14
-14
lines changed

src/tools/rust-analyzer/crates/hir-ty/src/chalk_db.rs

+4-4
Original file line numberDiff line numberDiff line change
@@ -145,19 +145,19 @@ impl chalk_solve::RustIrDatabase<Interner> for ChalkContext<'_> {
145145
let mut result = vec![];
146146
if fps.is_empty() {
147147
debug!("Unrestricted search for {:?} impls...", trait_);
148-
self.for_trait_impls(trait_, self_ty_fp, |impls| {
148+
let _ = self.for_trait_impls(trait_, self_ty_fp, |impls| {
149149
result.extend(impls.for_trait(trait_).map(id_to_chalk));
150150
ControlFlow::Continue(())
151-
})
151+
});
152152
} else {
153-
self.for_trait_impls(trait_, self_ty_fp, |impls| {
153+
let _ = self.for_trait_impls(trait_, self_ty_fp, |impls| {
154154
result.extend(
155155
fps.iter().flat_map(move |fp| {
156156
impls.for_trait_and_self_ty(trait_, *fp).map(id_to_chalk)
157157
}),
158158
);
159159
ControlFlow::Continue(())
160-
})
160+
});
161161
};
162162

163163
debug!("impls_for_trait returned {} impls", result.len());

src/tools/rust-analyzer/crates/hir-ty/src/dyn_compatibility.rs

+2-2
Original file line numberDiff line numberDiff line change
@@ -116,7 +116,7 @@ pub fn dyn_compatibility_of_trait_query(
116116
trait_: TraitId,
117117
) -> Option<DynCompatibilityViolation> {
118118
let mut res = None;
119-
dyn_compatibility_of_trait_with_callback(db, trait_, &mut |osv| {
119+
let _ = dyn_compatibility_of_trait_with_callback(db, trait_, &mut |osv| {
120120
res = Some(osv);
121121
ControlFlow::Break(())
122122
});
@@ -597,7 +597,7 @@ fn contains_illegal_impl_trait_in_trait(
597597

598598
let ret = sig.skip_binders().ret();
599599
let mut visitor = OpaqueTypeCollector(FxHashSet::default());
600-
ret.visit_with(visitor.as_dyn(), DebruijnIndex::INNERMOST);
600+
let _ = ret.visit_with(visitor.as_dyn(), DebruijnIndex::INNERMOST);
601601

602602
// Since we haven't implemented RPITIT in proper way like rustc yet,
603603
// just check whether `ret` contains RPIT for now

src/tools/rust-analyzer/crates/hir-ty/src/dyn_compatibility/tests.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -53,7 +53,7 @@ fn check_dyn_compatibility<'a>(
5353
continue;
5454
};
5555
let mut osvs = FxHashSet::default();
56-
dyn_compatibility_with_callback(&db, trait_id, &mut |osv| {
56+
let _ = dyn_compatibility_with_callback(&db, trait_id, &mut |osv| {
5757
osvs.insert(match osv {
5858
DynCompatibilityViolation::SizedSelf => SizedSelf,
5959
DynCompatibilityViolation::SelfReferential => SelfReferential,

src/tools/rust-analyzer/crates/hir-ty/src/infer.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1142,7 +1142,7 @@ impl<'a> InferenceContext<'a> {
11421142
non_assocs: FxHashMap::default(),
11431143
};
11441144
for ty in tait_candidates {
1145-
ty.visit_with(collector.as_dyn(), DebruijnIndex::INNERMOST);
1145+
let _ = ty.visit_with(collector.as_dyn(), DebruijnIndex::INNERMOST);
11461146
}
11471147

11481148
// Non-assoc TAITs can be define-used everywhere as long as they are

src/tools/rust-analyzer/crates/hir-ty/src/lib.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1035,7 +1035,7 @@ where
10351035
T: ?Sized + TypeVisitable<Interner>,
10361036
{
10371037
let mut collector = PlaceholderCollector { db, placeholders: FxHashSet::default() };
1038-
value.visit_with(&mut collector, DebruijnIndex::INNERMOST);
1038+
let _ = value.visit_with(&mut collector, DebruijnIndex::INNERMOST);
10391039
collector.placeholders.into_iter().collect()
10401040
}
10411041

src/tools/rust-analyzer/crates/hir-ty/src/method_resolution.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -596,7 +596,7 @@ pub(crate) fn iterate_method_candidates<T>(
596596
mut callback: impl FnMut(ReceiverAdjustments, AssocItemId, bool) -> Option<T>,
597597
) -> Option<T> {
598598
let mut slot = None;
599-
iterate_method_candidates_dyn(
599+
let _ = iterate_method_candidates_dyn(
600600
ty,
601601
db,
602602
env,

src/tools/rust-analyzer/crates/hir/src/attrs.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -260,7 +260,7 @@ fn resolve_impl_trait_item(
260260
// attributes here. Use path resolution directly instead.
261261
//
262262
// FIXME: resolve type aliases (which are not yielded by iterate_path_candidates)
263-
method_resolution::iterate_path_candidates(
263+
let _ = method_resolution::iterate_path_candidates(
264264
&canonical,
265265
db,
266266
environment,

src/tools/rust-analyzer/crates/hir/src/lib.rs

+3-3
Original file line numberDiff line numberDiff line change
@@ -2864,7 +2864,7 @@ impl Trait {
28642864
db: &dyn HirDatabase,
28652865
) -> Option<Vec<DynCompatibilityViolation>> {
28662866
let mut violations = vec![];
2867-
hir_ty::dyn_compatibility::dyn_compatibility_with_callback(db, self.id, &mut |violation| {
2867+
let _ = hir_ty::dyn_compatibility::dyn_compatibility_with_callback(db, self.id, &mut |violation| {
28682868
violations.push(violation);
28692869
ControlFlow::Continue(())
28702870
});
@@ -5439,7 +5439,7 @@ impl Type {
54395439
.generic_def()
54405440
.map_or_else(|| TraitEnvironment::empty(krate.id), |d| db.trait_environment(d));
54415441

5442-
method_resolution::iterate_method_candidates_dyn(
5442+
let _ = method_resolution::iterate_method_candidates_dyn(
54435443
&canonical,
54445444
db,
54455445
environment,
@@ -5526,7 +5526,7 @@ impl Type {
55265526
.generic_def()
55275527
.map_or_else(|| TraitEnvironment::empty(krate.id), |d| db.trait_environment(d));
55285528

5529-
method_resolution::iterate_path_candidates(
5529+
let _ = method_resolution::iterate_path_candidates(
55305530
&canonical,
55315531
db,
55325532
environment,

0 commit comments

Comments
 (0)