Function refinement_generics_of 

pub(crate) fn refinement_generics_of(
    genv: GlobalEnv<'_, '_>,
    def_id: MaybeExternId,
) -> QueryResult<EarlyBinder<RefinementGenerics>>