Trait rustc_mir_dataflow::rustc_peek::RustcPeekAt
source · trait RustcPeekAt<'tcx>: Analysis<'tcx> {
// Required method
fn peek_at(
&self,
tcx: TyCtxt<'tcx>,
place: Place<'tcx>,
flow_state: &Self::Domain,
call: PeekCall,
);
}
Required Methods§
fn peek_at( &self, tcx: TyCtxt<'tcx>, place: Place<'tcx>, flow_state: &Self::Domain, call: PeekCall, )
Object Safety§
This trait is not object safe.