Is it possible to do something like this without unstable?

```rs
#![feature(generic_const_exprs)]
pub enum Assert<const CHECK: bool> {}
pub trait IsTrue {}
impl IsTrue for Assert<true> {}

struct S<const A: u32, const B: u32>;

impl<const A: u32, const B: u32> S<A, B>
where
    Assert<{ A > B }>: IsTrue,
{
    fn foo(&self) {
        println!("Only monomorphized if A > B. Also, is 'monomorphized' a word?");
    }
}
```