Function flux_fhir_analysis::assoc_refinement_def

source ยท 
pub(crate) fn assoc_refinement_def(
    genv: GlobalEnv<'_, '_>,
    impl_id: LocalDefId,
    name: Symbol,
) -> QueryResult<EarlyBinder<Lambda>>