summaryrefslogtreecommitdiffstats
path: root/src/test/ui/issues/issue-39808.rs
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--src/test/ui/issues/issue-39808.rs17
1 files changed, 17 insertions, 0 deletions
diff --git a/src/test/ui/issues/issue-39808.rs b/src/test/ui/issues/issue-39808.rs
new file mode 100644
index 000000000..a47013673
--- /dev/null
+++ b/src/test/ui/issues/issue-39808.rs
@@ -0,0 +1,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("")
+ };
+}