It appears c2rust does not have support for builtin assume.
Im proposing that it work similar to
unsafe {
core::hint::assert_unchecked(x != 0);
}
Im willing to take this on today and submit a pull request.
Can someone assign me contributer Permissions and fill me in
on this?
It appears c2rust does not have support for builtin assume.
Im proposing that it work similar to
unsafe {
core::hint::assert_unchecked(x != 0);
}
Im willing to take this on today and submit a pull request.
Can someone assign me contributer Permissions and fill me in
on this?