| // Copyright 2022 The Fuchsia Authors. All rights reserved. |
| // Use of this source code is governed by a BSD-style license that can be |
| // found in the LICENSE file. |
| |
| #![allow(warnings)] |
| |
| mod util; |
| |
| use {core::marker::PhantomData, static_assertions::assert_impl_all, zerocopy::KnownLayout}; |
| |
| #[derive(KnownLayout)] |
| enum Foo { |
| A, |
| } |
| |
| assert_impl_all!(Foo: KnownLayout); |
| |
| #[derive(KnownLayout)] |
| enum Bar { |
| A = 0, |
| } |
| |
| assert_impl_all!(Bar: KnownLayout); |
| |
| #[derive(KnownLayout)] |
| enum Baz { |
| A = 1, |
| B = 0, |
| } |
| |
| assert_impl_all!(Baz: KnownLayout); |
| |
| // Deriving `KnownLayout` should work if the enum has bounded parameters. |
| |
| #[derive(KnownLayout)] |
| #[repr(C)] |
| enum WithParams<'a: 'b, 'b: 'a, const N: usize, T: 'a + 'b + KnownLayout> |
| where |
| 'a: 'b, |
| 'b: 'a, |
| T: 'a + 'b + KnownLayout, |
| { |
| Variant([T; N], PhantomData<&'a &'b ()>), |
| } |
| |
| assert_impl_all!(WithParams<'static, 'static, 42, u8>: KnownLayout); |