Merge pull request #5584 from Mark-Simulacrum/beta-next
Add hint for collect type
This commit is contained in:
commit
d4092ace00
@ -1390,7 +1390,7 @@ pub fn fn_has_unsatisfiable_preds(cx: &LateContext<'_, '_>, did: DefId) -> bool
|
|||||||
.predicates
|
.predicates
|
||||||
.iter()
|
.iter()
|
||||||
.filter_map(|(p, _)| if p.is_global() { Some(*p) } else { None })
|
.filter_map(|(p, _)| if p.is_global() { Some(*p) } else { None })
|
||||||
.collect();
|
.collect::<Vec<_>>();
|
||||||
!traits::normalize_and_test_predicates(
|
!traits::normalize_and_test_predicates(
|
||||||
cx.tcx,
|
cx.tcx,
|
||||||
traits::elaborate_predicates(cx.tcx, predicates)
|
traits::elaborate_predicates(cx.tcx, predicates)
|
||||||
|
Loading…
x
Reference in New Issue
Block a user