j2k-types 0.8.0

Shared JPEG 2000 and HTJ2K encode-stage contracts, progression helpers, and dispatch accounting
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

// SPDX-License-Identifier: MIT OR Apache-2.0

//! Compile-time assertions for owner types that must not implement `Clone`.

pub(crate) trait AmbiguousIfClone<Marker> {}

impl<T: ?Sized> AmbiguousIfClone<()> for T {}

pub(crate) struct CloneMarker;

impl<T: Clone> AmbiguousIfClone<CloneMarker> for T {}

pub(crate) struct RequireUnambiguous<T: ?Sized + AmbiguousIfClone<Marker>, Marker>(
    core::marker::PhantomData<(*const T, Marker)>,
);

macro_rules! assert_move_only {
    ($($ty:ty),* $(,)?) => {
        $(
            const _: () = {
                let _: Option<$crate::move_only::RequireUnambiguous<$ty, _>> = None;
            };
        )*
    };
}

pub(crate) use assert_move_only;