Sign in
rust
/
rust-lang
/
rust
/
HEAD
/
.
/
src
/
tools
/
miri
/
tests
/
fail
/
intrinsics
/
exact_div2.rs
blob: 7914de403a7585fb275abb4d384daecbee718b76 [
file
] [
log
] [
blame
]
#![
feature
(
core_intrinsics
)]
fn
main
()
{
// division with a remainder
unsafe
{
std
::
intrinsics
::
exact_div
(
2u16
,
3
)
};
//~ ERROR: 2_u16 cannot be divided by 3_u16 without remainder
}