blob: a47013673738c507c272bb6aa062e301f66a596e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
// run-pass
#![allow(unreachable_code)]
// Regression test for #39808. The type parameter of `Owned` was
// considered to be "unconstrained" because the type resulting from
// `format!` (`String`) was not being propagated upward, owing to the
// fact that the expression diverges.
use std::borrow::Cow;
fn main() {
let _ = if false {
Cow::Owned(format!("{:?}", panic!()))
} else {
Cow::Borrowed("")
};
}
|
