flux_refineck::ghost_statements

Function compute_ghost_statements

Source 
pub(crate) fn compute_ghost_statements(
    genv: GlobalEnv<'_, '_>,
    def_id: LocalDefId,
) -> QueryResult<UnordMap<LocalDefId, GhostStatements>>