check_impl

Function check_impl 

Source
fn check_impl<'tcx>(
    tcx: TyCtxt<'tcx>,
    item: &'tcx Item<'tcx>,
    impl_: &Impl<'_>,
) -> Result<(), ErrorGuaranteed>