@@ -43,19 +43,19 @@ fn main() {
4343
4444 // Release success order forbids failure order of Acquire or SeqCst
4545 let _ = x. compare_exchange_weak ( ptr2, ptr, Ordering :: Release , Ordering :: Acquire ) ;
46- //~^ ERROR compare_exchange_weak's failure ordering may not be stronger than the success ordering of `Release`
46+ //~^ ERROR compare_exchange_weak's failure ordering may not be stronger
4747 let _ = x. compare_exchange_weak ( ptr2, ptr, Ordering :: Release , Ordering :: SeqCst ) ;
48- //~^ ERROR compare_exchange_weak's failure ordering may not be stronger than the success ordering of `Release`
48+ //~^ ERROR compare_exchange_weak's failure ordering may not be stronger
4949
5050 // Relaxed success order also forbids failure order of Acquire or SeqCst
5151 let _ = x. compare_exchange_weak ( ptr, ptr2, Ordering :: Relaxed , Ordering :: SeqCst ) ;
52- //~^ ERROR compare_exchange_weak's failure ordering may not be stronger than the success ordering of `Relaxed`
52+ //~^ ERROR compare_exchange_weak's failure ordering may not be stronger
5353 let _ = x. compare_exchange_weak ( ptr, ptr2, Ordering :: Relaxed , Ordering :: Acquire ) ;
54- //~^ ERROR compare_exchange_weak's failure ordering may not be stronger than the success ordering of `Relaxed`
54+ //~^ ERROR compare_exchange_weak's failure ordering may not be stronger
5555
5656 // Acquire/AcqRel forbids failure order of SeqCst
5757 let _ = x. compare_exchange_weak ( ptr2, ptr, Ordering :: Acquire , Ordering :: SeqCst ) ;
58- //~^ ERROR compare_exchange_weak's failure ordering may not be stronger than the success ordering of `Acquire`
58+ //~^ ERROR compare_exchange_weak's failure ordering may not be stronger
5959 let _ = x. compare_exchange_weak ( ptr2, ptr, Ordering :: AcqRel , Ordering :: SeqCst ) ;
60- //~^ ERROR compare_exchange_weak's failure ordering may not be stronger than the success ordering of `AcqRel`
60+ //~^ ERROR compare_exchange_weak's failure ordering may not be stronger
6161}
0 commit comments