(&mut self, statement: &Statement<'tcx>, _location: Location)
| 575 | } |
| 576 | |
| 577 | impl<'tcx> Visitor<'tcx> for ConstraintGraphCollector<'_, 'tcx> { |
| 578 | fn visit_statement(&mut self, statement: &Statement<'tcx>, _location: Location) { |
| 579 | match &statement.kind { |
| 580 | StatementKind::Assign(box (place, rvalue)) => { |
| 581 | self.process_assignment(place, rvalue); |
| 582 | } |
| 583 | StatementKind::FakeRead(_) |
| 584 | | StatementKind::SetDiscriminant { .. } |
| 585 | | StatementKind::StorageLive(_) |
| 586 | | StatementKind::StorageDead(_) |
| 587 | | StatementKind::Retag(_, _) |
| 588 | | StatementKind::AscribeUserType(_, _) |
| 589 | | StatementKind::Coverage(_) |
| 590 | | StatementKind::Nop |
| 591 | | StatementKind::PlaceMention(_) |
| 592 | | StatementKind::ConstEvalCounter |
| 593 | | StatementKind::Intrinsic(_) |
| 594 | | StatementKind::BackwardIncompatibleDropHint { .. } => {} |
| 595 | } |
| 596 | } |
| 597 | |
| 598 | /// For destination = Arc::clone(move arg0) and destination = ptr::read(move arg0), |
| 599 | /// destination = alias copy args0 |
nothing calls this directly
no test coverage detected