Function default_assoc_refinement_body

pub(crate) fn default_assoc_refinement_body(
    genv: GlobalEnv<'_, '_>,
    trait_assoc_id: FluxId<MaybeExternId>,
) -> QueryResult<Option<EarlyBinder<Lambda>>>