about summary refs log tree commit diff
path: root/tests/ui/consts/const-assert-unchecked-ub.rs
blob: a62abcf12d69a96b3dfdcffdce078b2fdbd42dca (plain)
1
2
3
4
5
6
const _: () = unsafe {
    let n = u32::MAX.count_ones();
    std::hint::assert_unchecked(n < 32); //~ ERROR `assume` called with `false`
};

fn main() {}