Function rustc_trait_selection::traits::util::check_substs_compatible

pub fn check_substs_compatible<'tcx>(
    tcx: TyCtxt<'tcx>,
    assoc_item: AssocItem,
    substs: SubstsRef<'tcx>
) -> bool