about summary refs log tree commit diff
diff options
context:
space:
mode:
-rw-r--r--src/test/ui/consts/try-operator.rs16
1 files changed, 16 insertions, 0 deletions
diff --git a/src/test/ui/consts/try-operator.rs b/src/test/ui/consts/try-operator.rs
new file mode 100644
index 00000000000..4767e68d41e
--- /dev/null
+++ b/src/test/ui/consts/try-operator.rs
@@ -0,0 +1,16 @@
+// run-pass
+
+#![feature(try_trait_v2)]
+#![feature(const_trait_impl)]
+#![feature(const_try)]
+#![feature(const_convert)]
+
+fn main() {
+    const fn foo() -> Result<bool, ()> {
+        Err(())?;
+        Ok(true)
+    }
+
+    const FOO: Result<bool, ()> = foo();
+    assert_eq!(Err(()), FOO);
+}