Clippy

crates/flowistry_pdg_construction/src/callback.rs

@@ -1,9 +1,9 @@
 //! Callbacks to influence graph construction and their supporting types.
 
 use flowistry_pdg::{rustc_portable::Location, CallString};
-use rustc_const_eval::interpret::Operand;
+
 use rustc_hir::def_id::DefId;
-use rustc_middle::ty::{self, Instance};
+use rustc_middle::ty::Instance;
 
 pub trait CallChangeCallback<'tcx> {
     fn on_inline(&self, info: CallInfo<'tcx>) -> CallChanges;

crates/flowistry_pdg_construction/src/local_analysis.rs

@@ -14,10 +14,7 @@ use rustc_middle::{
         visit::Visitor, AggregateKind, BasicBlock, Body, HasLocalDecls, Location, Operand, Place,
         PlaceElem, Rvalue, Statement, Terminator, TerminatorEdges, TerminatorKind, RETURN_PLACE,
     },
-    ty::{
-        BoundVariableKind, ClauseKind, GenericArg, GenericArgKind, GenericArgsRef, ImplPolarity,
-        Instance, List, ParamEnv, TraitPredicate, TyCtxt, TyKind,
-    },
+    ty::{GenericArgKind, GenericArgsRef, Instance, TyCtxt, TyKind},
 };
 use rustc_mir_dataflow::{self as df, fmt::DebugWithContext, Analysis};
 use rustc_span::Span;

crates/paralegal-flow/src/ana/inline_judge.rs

@@ -1,4 +1,4 @@
-use std::{fmt::Display, rc::Rc};
+use std::rc::Rc;
 
 use flowistry_pdg_construction::{body_cache::BodyCache, CallInfo};
 use paralegal_spdg::{utils::write_sep, Identifier};
@@ -122,7 +122,6 @@ impl<'tcx> InlineJudge<'tcx> {
                 | ClauseKind::ConstEvaluatable(_)
                 | ClauseKind::RegionOutlives(_) => {
                     // These predicates do not allow for "code injection" since they do not concern things that can be marked.
-                    ()
                 }
                 ClauseKind::Projection(p) => {
                     if let Some(t) = p.term.ty() {

crates/paralegal-flow/src/ann/db.rs

@@ -314,7 +314,7 @@ impl<'tcx> MarkerCtx<'tcx> {
                 try_resolve_function(self.tcx(), *closure_fn, ty::ParamEnv::reveal_all(), substs).unwrap()
             ))
         };
-        return v.into_iter();
+        v.into_iter()
     }
 
     /// All the markers applied to this type and its subtypes.