rust/tests/run-pass/assume_bug.rs