Function assoc_refinements_of 

pub(crate) fn assoc_refinements_of(
    genv: GlobalEnv<'_, '_>,
    def_id: MaybeExternId,
) -> QueryResult<AssocRefinements>