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`