2 #![allow(unreachable_code)]
4 // Regression test for #39808. The type parameter of `Owned` was
5 // considered to be "unconstrained" because the type resulting from
6 // `format!` (`String`) was not being propagated upward, owing to the
7 // fact that the expression diverges.
13 Cow::Owned(format!("{:?}", panic!()))