1 files changed, 14 insertions, 0 deletions
diff --git a/src/test/ui/diverging-fallback-option.rs b/src/test/ui/diverging-fallback-option.rs
new file mode 100644
index 000000000..46bdfc96d
--- /dev/null
+++ b/src/test/ui/diverging-fallback-option.rs
@@ -0,0 +1,14 @@
+// run-pass
+
+#![allow(warnings)]
+
+// Here the type of `c` is `Option<?T>`, where `?T` is unconstrained.
+// Because there is data-flow from the `{ return; }` block, which
+// diverges and hence has type `!`, into `c`, we will default `?T` to
+// `!`, and hence this code compiles rather than failing and requiring
+// a type annotation.
+
+fn main() {
+    let c = Some({ return; });
+    c.unwrap();
+}