Function flux_fhir_analysis::assoc_refinements_of
source ยท pub(crate) fn assoc_refinements_of(
genv: GlobalEnv<'_, '_>,
local_id: LocalDefId,
) -> QueryResult<AssocRefinements>
pub(crate) fn assoc_refinements_of(
genv: GlobalEnv<'_, '_>,
local_id: LocalDefId,
) -> QueryResult<AssocRefinements>