We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
replace_types
1 parent 41519f3 commit 9de7a9aCopy full SHA for 9de7a9a
clippy_utils/src/ty/mod.rs
@@ -1624,7 +1624,9 @@ fn replace_types<'tcx>(
1624
deque.push_back((param_ty, new_ty));
1625
1626
while let Some((param_ty, new_ty)) = deque.pop_front() {
1627
- // If `replaced.is_empty()`, then `param_ty` and `new_ty` are those initially passed in.
+ // If `replaced.is_empty()`, then `param_ty` and `new_ty` are those initially passed in. Note that
1628
+ // the types the `all` iterates over include the output type. Thus, if replacing `param_ty` with
1629
+ // `new_ty` would change the output type, this check will fail.
1630
if !fn_sig
1631
.inputs_and_output
1632
.iter()
0 commit comments