Function rustc_typeck::impl_wf_check::enforce_impl_params_are_constrained

pub(in impl_wf_check) fn enforce_impl_params_are_constrained(
    tcx: TyCtxt<'_>, 
    impl_def_id: LocalDefId, 
    impl_item_refs: &[ImplItemRef<'_>]
)