Function flux_refineck::ghost_statements::compute_ghost_statements

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