fix UI test, simplify error message · model-checking/verify-rust-std@43a865a (original) (raw)
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -459,6 +459,12 @@ impl<'a> Arguments<'a> { | ||
| 459 | 459 | } |
| 460 | 460 | } |
| 461 | 461 | |
| 462 | +// Manually implementing these results in better error messages. | |
| 463 | +#[stable(feature = "rust1", since = "1.0.0")] | |
| 464 | +impl !Send for Arguments<'_> {} | |
| 465 | +#[stable(feature = "rust1", since = "1.0.0")] | |
| 466 | +impl !Sync for Arguments<'_> {} | |
| 467 | + | |
| 462 | 468 | #[stable(feature = "rust1", since = "1.0.0")] |
| 463 | 469 | impl Debug for Arguments<'_> { |
| 464 | 470 | fn fmt(&self, fmt: &mut Formatter<'_>) -> Result { |