Sign in
fuchsia
/
third_party
/
rust
/
20d43d03dd27568f609d621ce44673393e838892
/
.
/
src
/
test
/
ui
/
intrinsics
/
intrinsic-assume.rs
blob: 3c9d70cb556bf3d2c22b671c7909472bc1c6be99 [
file
] [
log
] [
blame
]
// run-pass
#![
feature
(
core_intrinsics
)]
use
std
::
intrinsics
::
assume
;
unsafe
fn
f
(
x
:
i32
)
->
i32
{
assume
(
x
==
34
);
match
x
{
34
=>
42
,
_
=>
30
}
}
fn
main
()
{
let
x
=
unsafe
{
f
(
34
)
};
assert_eq
!(
x
,
42
);
}