Trait constmuck::Infer

pub trait Infer: Sized + Copy {
    const INFER: Self;
}

For constructing Impls* types (values that represent trait bounds), and tuples of them.

For a more concise way to write to Infer::INFER, there’s the infer macro.

Example

use constmuck::cast;
use constmuck::{Infer, ImplsPod, ImplsTransparentWrapper};

use std::num::Wrapping;

const ARR: [i8; 3] = cast([3u8, 5, u8::MAX - 1], Infer::INFER);
assert_eq!(ARR, [3, 5, -2]);

const fn requires_pod<T>(_bounds: ImplsPod<T>) {}
requires_pod::<u32>(Infer::INFER);

const fn requires_2_bounds<T, U>(_bounds: (ImplsPod<T>, ImplsTransparentWrapper<U, T>)) {}
requires_2_bounds::<u32, Wrapping<u32>>(Infer::INFER);
  

Associated Constants

const INFER: Self

Constructs this type.

Implementations on Foreign Types

impl Infer for ()

const INFER: Self

impl<A> Infer for (A,) where
    A: Infer, 

const INFER: Self

impl<A, B> Infer for (A, B) where
    A: Infer,
    B: Infer, 

const INFER: Self

impl<A, B, C> Infer for (A, B, C) where
    A: Infer,
    B: Infer,
    C: Infer, 

const INFER: Self

impl<A, B, C, D> Infer for (A, B, C, D) where
    A: Infer,
    B: Infer,
    C: Infer,
    D: Infer, 

const INFER: Self

impl<A, B, C, D, E> Infer for (A, B, C, D, E) where
    A: Infer,
    B: Infer,
    C: Infer,
    D: Infer,
    E: Infer, 

const INFER: Self

impl<A, B, C, D, E, F> Infer for (A, B, C, D, E, F) where
    A: Infer,
    B: Infer,
    C: Infer,
    D: Infer,
    E: Infer,
    F: Infer, 

const INFER: Self

impl<A, B, C, D, E, F, G> Infer for (A, B, C, D, E, F, G) where
    A: Infer,
    B: Infer,
    C: Infer,
    D: Infer,
    E: Infer,
    F: Infer,
    G: Infer, 

const INFER: Self

impl<A, B, C, D, E, F, G, H> Infer for (A, B, C, D, E, F, G, H) where
    A: Infer,
    B: Infer,
    C: Infer,
    D: Infer,
    E: Infer,
    F: Infer,
    G: Infer,
    H: Infer, 

const INFER: Self

Implementors

impl<Outer: ?Sized, Inner: ?Sized> Infer for ImplsTransparentWrapper<Outer, Inner> where
    Outer: TransparentWrapper<Inner>, 

const INFER: Self

impl<T: Copy> Infer for ImplsCopy<T>

const INFER: Self

impl<T: Contiguous> Infer for ImplsContiguous<T, T::Int>

const INFER: Self

impl<T: Pod> Infer for ImplsPod<T>

const INFER: Self

impl<T: Zeroable> Infer for ImplsZeroable<T>

const INFER: Self