From 14bfedb66a61bd6ef1cd5d67c6736fcd71b940dd Mon Sep 17 00:00:00 2001 From: Zyad Hassan Date: Thu, 5 Sep 2024 12:55:50 -0700 Subject: [PATCH] Update expected file --- tests/ui/derive-arbitrary/union/expected | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/tests/ui/derive-arbitrary/union/expected b/tests/ui/derive-arbitrary/union/expected index 3acea286d7ca..e54592a47ca6 100644 --- a/tests/ui/derive-arbitrary/union/expected +++ b/tests/ui/derive-arbitrary/union/expected @@ -3,10 +3,7 @@ error: Cannot derive `Arbitrary` for `Wrapper` union |\ | #[derive(kani::Arbitrary)]\ | ^^^^^^^^^^^^^^^\ -|\ +| note: `#[derive(Arbitrary)]` cannot be used for unions such as `Wrapper` -|\ -| union Wrapper {\ -| ^^^^^^^\ = note: this error originates in the derive macro `kani::Arbitrary`