3 #![allow(unreachable_code)]
4 // Regression test for issue #39984.
6 // The key here is that the error type of the `Ok` call ought to be
7 // constrained to `String`, even though it is dead-code.
11 fn t() -> Result<(), String> {
12 return Err("".into());