summaryrefslogtreecommitdiffstats
path: root/src/test/ui/issues/issue-4025.rs
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--src/test/ui/issues/issue-4025.rs25
1 files changed, 25 insertions, 0 deletions
diff --git a/src/test/ui/issues/issue-4025.rs b/src/test/ui/issues/issue-4025.rs
new file mode 100644
index 000000000..dc534c64c
--- /dev/null
+++ b/src/test/ui/issues/issue-4025.rs
@@ -0,0 +1,25 @@
+// check-pass
+#![allow(dead_code)]
+#![allow(unused_mut)]
+/*
+# if b { x } else { y } requires identical types for x and y
+*/
+
+fn print1(b: bool, s1: &str, s2: &str) {
+ println!("{}", if b { s1 } else { s2 });
+}
+fn print2<'a, 'b>(b: bool, s1: &'a str, s2: &'b str) {
+ println!("{}", if b { s1 } else { s2 });
+}
+fn print3(b: bool, s1: &str, s2: &str) {
+ let mut s: &str;
+ if b { s = s1; } else { s = s2; }
+ println!("{}", s);
+}
+fn print4<'a, 'b>(b: bool, s1: &'a str, s2: &'b str) {
+ let mut s: &str;
+ if b { s = s1; } else { s = s2; }
+ println!("{}", s);
+}
+
+pub fn main() {}