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