struct S<const A: u32, const B: u32>; impl<const A: u32, const B: u32> S<A, B> { fn foo() { const { assert!(A > B) } println!("Only monomorphized if A > B. Also, is 'monomorphized' a word?"); } } fn main() { S::<4, 5>::foo(); }