2019-11-04 00:00:00 +00:00
|
|
|
//@ check-pass
|
2018-09-25 23:51:35 +02:00
|
|
|
#![allow(dead_code)]
|
|
|
|
|
#![allow(unreachable_code)]
|
2017-03-18 12:28:34 -04:00
|
|
|
// Regression test for issue #39984.
|
|
|
|
|
//
|
|
|
|
|
// The key here is that the error type of the `Ok` call ought to be
|
|
|
|
|
// constrained to `String`, even though it is dead-code.
|
|
|
|
|
|
|
|
|
|
fn main() {}
|
|
|
|
|
|
|
|
|
|
fn t() -> Result<(), String> {
|
|
|
|
|
return Err("".into());
|
|
|
|
|
Ok(())
|
|
|
|
|
}
|
