Skip to main content

fixed_bigint/heapless/
has_personality.rs

1//! `HasPersonality` projection for `HeaplessBigInt`.
2//!
3//! Mirrors `FixedUInt`'s `has_personality_impl.rs`: the carrier's
4//! declared personality is its type parameter, so downstream personality
5//! gates (`T: HasPersonality<P = Nct>`) resolve without naming the
6//! carrier. This is what modmath's `NonCt` blanket-impl gates on.
7
8use super::HeaplessBigInt;
9use crate::MachineWord;
10use const_num_traits::{HasPersonality, Personality};
11
12impl<T: MachineWord, const CAP: usize, P: Personality> HasPersonality
13    for HeaplessBigInt<T, CAP, P>
14{
15    type P = P;
16}