Function late_bound_refinement_params 

pub(crate) fn late_bound_refinement_params<'genv>(
    genv: GlobalEnv<'genv, '_>,
    def_id: LocalDefId,
) -> QueryResult<&'genv [ParamId]>

See GlobalEnv::late_bound_refinement_params