flux_refineck::ghost_statements::points_to

Function add_ghost_statements

Source 
pub(crate) fn add_ghost_statements<'tcx>(
    stmts: &mut GhostStatements,
    genv: GlobalEnv<'_, 'tcx>,
    body: &Body<'tcx>,
    fn_sig: Option<&EarlyBinder<PolyFnSig>>,
) -> QueryResult