Function rustc_trait_selection::traits::project::check_substs_compatible

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