fn foo() {
    // Rust TODOs can only be generic
    todo!("generic");
    todo!();
    todo!("@foo not category");
    todo!("00 not priority");
}