flux_middle::queries

Function dispatch_query_flux_id

Source 
fn dispatch_query_flux_id<R>(
    genv: GlobalEnv<'_, '_>,
    def_id: FluxId<DefId>,
    local: impl FnOnce(FluxId<MaybeExternId>) -> R,
    external: impl FnOnce(FluxId<DefId>) -> Option<R>,
    default: impl FnOnce(FluxId<DefId>) -> R,
) -> R