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();
}