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