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