fn compare_type_const<'tcx>( tcx: TyCtxt<'tcx>, impl_const_item: AssocItem, trait_const_item: AssocItem, ) -> Result<(), ErrorGuaranteed>