Function rustc_hir_analysis::coherence::check_impl
source ยท fn check_impl(
tcx: TyCtxt<'_>,
impl_def_id: LocalDefId,
trait_ref: TraitRef<'_>,
trait_def: &TraitDef,
) -> Result<(), ErrorGuaranteed>
fn check_impl(
tcx: TyCtxt<'_>,
impl_def_id: LocalDefId,
trait_ref: TraitRef<'_>,
trait_def: &TraitDef,
) -> Result<(), ErrorGuaranteed>