don't into self
don't into()-convert types to themselves
This commit is contained in:
parent
af3c8b2726
commit
a1a6588162
@ -125,11 +125,11 @@ impl<'tcx> InferCtxt<'tcx> {
|
|||||||
}
|
}
|
||||||
|
|
||||||
(ty::Alias(AliasKind::Projection, _), _) if self.tcx.trait_solver_next() => {
|
(ty::Alias(AliasKind::Projection, _), _) if self.tcx.trait_solver_next() => {
|
||||||
relation.register_type_equate_obligation(a.into(), b.into());
|
relation.register_type_equate_obligation(a, b);
|
||||||
Ok(b)
|
Ok(b)
|
||||||
}
|
}
|
||||||
(_, ty::Alias(AliasKind::Projection, _)) if self.tcx.trait_solver_next() => {
|
(_, ty::Alias(AliasKind::Projection, _)) if self.tcx.trait_solver_next() => {
|
||||||
relation.register_type_equate_obligation(b.into(), a.into());
|
relation.register_type_equate_obligation(b, a);
|
||||||
Ok(a)
|
Ok(a)
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -47,8 +47,7 @@ fn has_back_edge(
|
|||||||
return false;
|
return false;
|
||||||
}
|
}
|
||||||
// Check if any of the dominators of the node are also the node's successor.
|
// Check if any of the dominators of the node are also the node's successor.
|
||||||
doms.dominators(node)
|
doms.dominators(node).any(|dom| node_data.terminator().successors().any(|succ| succ == dom))
|
||||||
.any(|dom| node_data.terminator().successors().into_iter().any(|succ| succ == dom))
|
|
||||||
}
|
}
|
||||||
|
|
||||||
fn insert_counter(basic_block_data: &mut BasicBlockData<'_>) {
|
fn insert_counter(basic_block_data: &mut BasicBlockData<'_>) {
|
||||||
|
@ -129,7 +129,7 @@ fn external_generic_args<'tcx>(
|
|||||||
});
|
});
|
||||||
GenericArgs::Parenthesized { inputs, output }
|
GenericArgs::Parenthesized { inputs, output }
|
||||||
} else {
|
} else {
|
||||||
GenericArgs::AngleBracketed { args: args.into(), bindings: bindings.into() }
|
GenericArgs::AngleBracketed { args: args.into(), bindings }
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user