Debug Asserts with arguments throw an error in F*.

[karthikbhargavan]

trafficstars

fn f(x:u8) {
    debug_assert!(x > 0, "x is {}", x)
}

Open this code snippet in the playground