Remove unnecessary lifetime from OperandCollector
.
Also put the remaining lifetimes into the usual order.
This commit is contained in:
parent
bed91f5065
commit
1aafeb2d5a
1 changed files with 4 additions and 4 deletions
|
@ -838,14 +838,14 @@ impl<'tcx> MutVisitor<'tcx> for Patch<'tcx> {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
struct OperandCollector<'tcx, 'map, 'locals, 'a> {
|
struct OperandCollector<'a, 'locals, 'tcx> {
|
||||||
state: &'a State<FlatSet<Scalar>>,
|
state: &'a State<FlatSet<Scalar>>,
|
||||||
visitor: &'a mut Collector<'tcx, 'locals>,
|
visitor: &'a mut Collector<'tcx, 'locals>,
|
||||||
ecx: &'map mut InterpCx<'tcx, DummyMachine>,
|
ecx: &'a mut InterpCx<'tcx, DummyMachine>,
|
||||||
map: &'map Map<'tcx>,
|
map: &'a Map<'tcx>,
|
||||||
}
|
}
|
||||||
|
|
||||||
impl<'tcx> Visitor<'tcx> for OperandCollector<'tcx, '_, '_, '_> {
|
impl<'tcx> Visitor<'tcx> for OperandCollector<'_, '_, 'tcx> {
|
||||||
fn visit_projection_elem(
|
fn visit_projection_elem(
|
||||||
&mut self,
|
&mut self,
|
||||||
_: PlaceRef<'tcx>,
|
_: PlaceRef<'tcx>,
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue