flux_fhir_analysis

Function refinement_generics_of

Source 
pub(crate) fn refinement_generics_of(
    genv: GlobalEnv<'_, '_>,
    local_id: LocalDefId,
) -> QueryResult<EarlyBinder<RefinementGenerics>>