blob: 1c9ae26cab22e5b3a90bf07e7a1e4ce22ab54ee0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
// check-pass
#![allow(dead_code)]
#![allow(unreachable_code)]
// 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(())
}
|
