Function assoc_refinement_body

pub(crate) fn assoc_refinement_body(
    genv: GlobalEnv<'_, '_>,
    impl_assoc_id: FluxId<MaybeExternId>,
) -> QueryResult<EarlyBinder<Lambda>>