pub(crate) fn identify_constrained_generic_params<'tcx>( tcx: TyCtxt<'tcx>, predicates: GenericPredicates<'tcx>, impl_trait_ref: Option<TraitRef<'tcx>>, input_parameters: &mut FxHashSet<Parameter>, )