Diff
Not logged in

Differences From Artifact [ab4037636f]:

To Artifact [f620e40f76]:


511
512
513
514
515
516
517

518
519
520
521
522
523
524
...
626
627
628
629
630
631
632

633
634
635
636
637
638
639
640
641
642
643
644
645
...
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758

                    Rvalue::Box(ref $($mutability)* ty) => {
                        self.visit_ty(ty);
                    }

                    Rvalue::Aggregate(ref $($mutability)* kind,
                                      ref $($mutability)* operands) => {

                        match *kind {
                            AggregateKind::Array(ref $($mutability)* ty) => {
                                self.visit_ty(ty);
                            }
                            AggregateKind::Tuple => {
                            }
                            AggregateKind::Adt(_adt_def,
................................................................................
            fn super_local_decl(&mut self,
                                local_decl: & $($mutability)* LocalDecl<'tcx>) {
                let LocalDecl {
                    mutability: _,
                    ref $($mutability)* ty,
                    name: _,
                    ref $($mutability)* source_info,

                } = *local_decl;

                self.visit_ty(ty);
                if let Some(ref $($mutability)* info) = *source_info {
                    self.visit_source_info(info);
                }
            }

            fn super_visibility_scope(&mut self,
                                      _scope: & $($mutability)* VisibilityScope) {
            }

            fn super_branch(&mut self,
................................................................................
    // Being dropped
    Drop,

    // Being inspected in some way, like loading a len
    Inspect,

    // Being borrowed
    Borrow { region: &'tcx Region, kind: BorrowKind },

    // Used as base for another lvalue, e.g. `x` in `x.y`.
    //
    // The `Mutability` argument specifies whether the projection is being performed in order to
    // (potentially) mutate the lvalue. For example, the projection `x.y` is marked as a mutation
    // in these cases:
    //







>







 







>



<
|
<







 







|







511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
...
627
628
629
630
631
632
633
634
635
636
637

638

639
640
641
642
643
644
645
...
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758

                    Rvalue::Box(ref $($mutability)* ty) => {
                        self.visit_ty(ty);
                    }

                    Rvalue::Aggregate(ref $($mutability)* kind,
                                      ref $($mutability)* operands) => {
                        let kind = &$($mutability)* **kind;
                        match *kind {
                            AggregateKind::Array(ref $($mutability)* ty) => {
                                self.visit_ty(ty);
                            }
                            AggregateKind::Tuple => {
                            }
                            AggregateKind::Adt(_adt_def,
................................................................................
            fn super_local_decl(&mut self,
                                local_decl: & $($mutability)* LocalDecl<'tcx>) {
                let LocalDecl {
                    mutability: _,
                    ref $($mutability)* ty,
                    name: _,
                    ref $($mutability)* source_info,
                    is_user_variable: _,
                } = *local_decl;

                self.visit_ty(ty);

                self.visit_source_info(source_info);

            }

            fn super_visibility_scope(&mut self,
                                      _scope: & $($mutability)* VisibilityScope) {
            }

            fn super_branch(&mut self,
................................................................................
    // Being dropped
    Drop,

    // Being inspected in some way, like loading a len
    Inspect,

    // Being borrowed
    Borrow { region: Region<'tcx>, kind: BorrowKind },

    // Used as base for another lvalue, e.g. `x` in `x.y`.
    //
    // The `Mutability` argument specifies whether the projection is being performed in order to
    // (potentially) mutate the lvalue. For example, the projection `x.y` is marked as a mutation
    // in these cases:
    //