1
Fork 0

Use iterators instead of slices at more sites

This commit is contained in:
Oli Scherer 2022-11-17 13:06:37 +00:00
parent ec8d01fdcc
commit 9e4c3f41c1
7 changed files with 10 additions and 9 deletions

View file

@ -1108,7 +1108,7 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> {
obligation.predicate.def_id(),
obligation.recursion_depth + 1,
source_tail,
&[target_tail.into()],
[target_tail.into()],
));
}
@ -1139,7 +1139,7 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> {
obligation.predicate.def_id(),
obligation.recursion_depth + 1,
a_last,
&[b_last.into()],
[b_last.into()],
)
}));
}

View file

@ -2101,7 +2101,7 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> {
trait_def_id,
recursion_depth,
normalized_ty,
&[],
[],
);
obligations.push(placeholder_obligation);
obligations