pub(crate) fn parameters_for_impl<'tcx>(
    tcx: TyCtxt<'tcx>,
    impl_self_ty: Ty<'tcx>,
    impl_trait_ref: Option<TraitRef<'tcx>>,
) -> FxHashSet<Parameter>
Expand description

Returns the set of parameters constrained by the impl header.