pub fn parameters_for_impl<'tcx>( tcx: TyCtxt<'tcx>, impl_self_ty: Ty<'tcx>, impl_trait_ref: Option<TraitRef<'tcx>>, ) -> FxHashSet<Parameter>
Returns the set of parameters constrained by the impl header.