Function flux_fhir_analysis::impl_assoc_refinement_def

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