move location module to polonius legacy module

this is specific to the old datalog implementation and wasn't noticed in
the previous module move
This commit is contained in:
Rémy Rakic
2024-12-29 23:42:45 +00:00
parent b0fc1d47d5
commit 50c152f347
11 changed files with 11 additions and 11 deletions

View File

@@ -53,11 +53,11 @@ use crate::borrow_set::{BorrowData, BorrowSet};
use crate::consumers::{BodyWithBorrowckFacts, ConsumerOptions};
use crate::dataflow::{BorrowIndex, Borrowck, BorrowckDomain, Borrows};
use crate::diagnostics::{AccessKind, IllegalMoveOriginKind, MoveError, RegionName};
use crate::location::LocationTable;
use crate::nll::PoloniusOutput;
use crate::path_utils::*;
use crate::place_ext::PlaceExt;
use crate::places_conflict::{PlaceConflictBias, places_conflict};
use crate::polonius::legacy::LocationTable;
use crate::prefixes::PrefixSet;
use crate::region_infer::RegionInferenceContext;
use crate::renumber::RegionCtxt;
@@ -70,7 +70,6 @@ mod dataflow;
mod def_use;
mod diagnostics;
mod facts;
mod location;
mod member_constraints;
mod nll;
mod path_utils;