Function rustc_trait_selection::traits::coherence::trait_ref_is_knowable

pub fn trait_ref_is_knowable<'tcx, E: Debug>(
    infcx: &InferCtxt<'tcx>,
    trait_ref: TraitRef<'tcx>,
    lazily_normalize_ty: impl FnMut(Ty<'tcx>) -> Result<Ty<'tcx>, E>
) -> Result<Result<(), Conflict>, E>

Returns whether all impls which would apply to the trait_ref e.g. Ty: Trait<Arg> are already known in the local crate.

This both checks whether any downstream or sibling crates could implement it and whether an upstream crate can add this impl without breaking backwards compatibility.