fidl_next_codec/
util.rs

1// Copyright 2025 The Fuchsia Authors. All rights reserved.
2// Use of this source code is governed by a BSD-style license that can be
3// found in the LICENSE file.
4
5//! Helper types for encoding and decoding.
6
7use core::hint::unreachable_unchecked;
8use core::mem::MaybeUninit;
9
10use crate::{Constrained, Encode, EncodeError, Slot, ValidationError, Wire};
11
12/// A type which cannot be constructed.
13pub enum Never {}
14
15impl Constrained for Never {
16    type Constraint = ();
17
18    fn validate(_: Slot<'_, Self>, _: Self::Constraint) -> Result<(), ValidationError> {
19        Ok(())
20    }
21}
22
23unsafe impl<W: Wire, E: ?Sized> Encode<W, E> for Never {
24    fn encode(
25        self,
26        _: &mut E,
27        _: &mut MaybeUninit<W>,
28        _: W::Constraint,
29    ) -> Result<(), EncodeError> {
30        // SAFETY: `Never` cannot exist, so this code can never be reached.
31        unsafe { unreachable_unchecked() }
32    }
33}
fidl_next_codec/util.rs

fidl_next_codec/
util.rs
