1 files changed, 0 insertions, 17 deletions

diff --git a/src/test/ui/issues/issue-39808.rs b/src/test/ui/issues/issue-39808.rs
deleted file mode 100644
index a47013673..000000000
--- a/src/test/ui/issues/issue-39808.rs
+++ /dev/null
@@ -1,17 +0,0 @@
-// 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("")
-    };
-}