rustc_hir_analysis::impl_wf_check

Function enforce_impl_params_are_constrained

source 
fn enforce_impl_params_are_constrained(
    tcx: TyCtxt<'_>,
    impl_def_id: LocalDefId,
) -> Result<(), ErrorGuaranteed>