Function flux_fhir_analysis::default_assoc_refinement_def

pub(crate) fn default_assoc_refinement_def(
    genv: GlobalEnv<'_, '_>,
    trait_id: LocalDefId,
    name: Symbol,
) -> QueryResult<Option<EarlyBinder<Lambda>>>