comments

2 files changed, 25 insertions, 0 deletions

diff --git a/tests/ui/inference/fnonce-closure-call.rs b/tests/ui/inference/fnonce-closure-call.rs
new file mode 100644
index 00000000000..262a193609f
--- /dev/null
+++ b/tests/ui/inference/fnonce-closure-call.rs
@@ -0,0 +1,12 @@
+//! Regression test for https://github.com/rust-lang/rust/issues/10718
+
+//@ run-pass
+
+fn f<F:FnOnce()>(p: F) {
+    p();
+}
+
+pub fn main() {
+    let p = || ();
+    f(p);
+}
diff --git a/tests/ui/inference/generic-type-inference-10436.rs b/tests/ui/inference/generic-type-inference-10436.rs
new file mode 100644
index 00000000000..456a9b86c34
--- /dev/null
+++ b/tests/ui/inference/generic-type-inference-10436.rs
@@ -0,0 +1,13 @@
+//! Regression test for https://github.com/rust-lang/rust/issues/10436
+
+//@ run-pass
+fn works<T>(x: T) -> Vec<T> { vec![x] }
+
+fn also_works<T: Clone>(x: T) -> Vec<T> { vec![x] }
+
+fn main() {
+    let _: Vec<usize> = works(0);
+    let _: Vec<usize> = also_works(0);
+    let _ = works(0);
+    let _ = also_works(0);
+}