Function rustc_trait_selection::traits::coherence::trait_ref_is_knowable

pub fn trait_ref_is_knowable<'tcx>(
    tcx: TyCtxt<'tcx>,
    trait_ref: TraitRef<'tcx>
) -> Result<(), Conflict>