diff --git a/tests/ui/reachable/unreachable-question-mark-forbid.rs b/tests/ui/reachable/unreachable-question-mark-forbid.rs new file mode 100644 index 0000000000000..b7acde0cf36bd --- /dev/null +++ b/tests/ui/reachable/unreachable-question-mark-forbid.rs @@ -0,0 +1,18 @@ +//@ check-pass + +#![forbid(unreachable_code)] + +fn result() -> Result<(), ()> { + Ok(())?; + Err(()) +} + +fn option() -> Option<()> { + Some(())?; + None +} + +fn main() { + let _ = result(); + let _ = option(); +}