Function flux_refineck::invoke_fixpoint

source ยท 
pub(crate) fn invoke_fixpoint(
    genv: GlobalEnv<'_, '_>,
    cache: &mut QueryCache,
    local_id: LocalDefId,
    refine_tree: RefineTree,
    kvars: KVarGen,
    config: CheckerConfig,
    ext: &str,
) -> Result<Vec<Tag>, ErrorGuaranteed>