const-reify

Runtime-to-const-generic bridge via match-table dispatch.

Given a runtime u64 value in 0..=255, dispatches to the corresponding monomorphization of a const-generic type, enabling type-level programming with runtime-determined values.

See DESIGN.md for the design rationale and safety analysis.

Examples

use const_reify::{reify_const, HasModulus};

let result = reify_const(17, |m| m.modulus());
assert_eq!(result, 17);

Using the [reify!] macro:

use const_reify::{reify, HasModulus};

reify!(42u64, |m: &dyn HasModulus| {
    assert_eq!(m.modulus(), 42);
});