From 404aebaa4339b0c402ed65b4a5ea6deb7a0a18be Mon Sep 17 00:00:00 2001 From: Zack Grannan Date: Wed, 22 Jan 2025 07:19:25 -0800 Subject: [PATCH] rustfmt --- src/borrows/borrows_graph.rs | 17 ++++++++++++++--- 1 file changed, 14 insertions(+), 3 deletions(-) diff --git a/src/borrows/borrows_graph.rs b/src/borrows/borrows_graph.rs index 8bdd5e4..d846448 100644 --- a/src/borrows/borrows_graph.rs +++ b/src/borrows/borrows_graph.rs @@ -14,11 +14,22 @@ use crate::{ }; use super::{ - borrow_edge::BorrowEdge, borrow_pcg_edge::{ + borrow_edge::BorrowEdge, + borrow_pcg_edge::{ BlockedNode, BorrowPCGEdge, BorrowPCGEdgeKind, LocalNode, PCGNode, ToBorrowsEdge, - }, borrows_visitor::DebugCtx, coupling_graph_constructor::{ + }, + borrows_visitor::DebugCtx, + coupling_graph_constructor::{ BorrowCheckerInterface, CGNode, Coupled, CouplingGraphConstructor, - }, deref_expansion::DerefExpansion, domain::{AbstractionBlockEdge, LoopAbstraction, MaybeOldPlace, ToJsonWithRepacker}, edge_data::EdgeData, has_pcs_elem::{HasPcsElems, MakePlaceOld}, latest::Latest, path_condition::{PathCondition, PathConditions}, region_abstraction::AbstractionEdge, region_projection_member::RegionProjectionMember + }, + deref_expansion::DerefExpansion, + domain::{AbstractionBlockEdge, LoopAbstraction, MaybeOldPlace, ToJsonWithRepacker}, + edge_data::EdgeData, + has_pcs_elem::{HasPcsElems, MakePlaceOld}, + latest::Latest, + path_condition::{PathCondition, PathConditions}, + region_abstraction::AbstractionEdge, + region_projection_member::RegionProjectionMember, }; #[derive(Clone, Debug)]