Revert "allow fn exprs to omit arg types"

This reverts commit 1ba4ca4c4a0153578e812baf5f7f5554d079de40.

5 files changed, 1 insertions, 27 deletions

diff --git a/src/test/compile-fail/omitted-arg-in-item-fn.rs b/src/test/compile-fail/omitted-arg-in-item-fn.rs
deleted file mode 100644
index 8478a925eb6..00000000000
--- a/src/test/compile-fail/omitted-arg-in-item-fn.rs
+++ /dev/null
@@ -1,2 +0,0 @@
-fn foo(x) { //! ERROR expecting ':' but found ')'
-}
\ No newline at end of file
diff --git a/src/test/compile-fail/omitted-arg-wrong-types.rs b/src/test/compile-fail/omitted-arg-wrong-types.rs
deleted file mode 100644
index 604fed1bc61..00000000000
--- a/src/test/compile-fail/omitted-arg-wrong-types.rs
+++ /dev/null
@@ -1,9 +0,0 @@
-fn let_in<T>(x: T, f: fn(T)) {}
-
-fn main() {
-    let_in(3u, fn&(i) { assert i == 3; });
-    //!^ ERROR expected `uint` but found `int`
-
-    let_in(3, fn&(i) { assert i == 3u; });
-    //!^ ERROR expected `int` but found `uint`
-}
\ No newline at end of file
diff --git a/src/test/compile-fail/pptypedef.rs b/src/test/compile-fail/pptypedef.rs
deleted file mode 100644
index 941535ef0f1..00000000000
--- a/src/test/compile-fail/pptypedef.rs
+++ /dev/null
@@ -1,8 +0,0 @@
-type foo = option<int>;
-
-fn bar(_t: foo) {}
-
-fn main() {
-    // we used to print foo<int>:
-    bar(some(3u)); //! ERROR mismatched types: expected `foo`
-}
\ No newline at end of file
diff --git a/src/test/compile-fail/vec-concat-bug.rs b/src/test/compile-fail/vec-concat-bug.rs
index 510bef1cae0..b75623d6233 100644
--- a/src/test/compile-fail/vec-concat-bug.rs
+++ b/src/test/compile-fail/vec-concat-bug.rs
@@ -4,6 +4,7 @@ fn concat<T: copy>(v: [const [const T]]) -> [T] {
     // Earlier versions of our type checker accepted this:
     vec::iter(v) {|&&inner: [T]|
         //!^ ERROR values differ in mutability
+        //!^^ ERROR values differ in mutability
         r += inner;
     }
 
diff --git a/src/test/run-pass/omitted-arg-type.rs b/src/test/run-pass/omitted-arg-type.rs
deleted file mode 100644
index 3ae04461bcd..00000000000
--- a/src/test/run-pass/omitted-arg-type.rs
+++ /dev/null
@@ -1,8 +0,0 @@
-fn let_in<T>(x: T, f: fn(T)) {}
-
-fn main() {
-    let_in(3u) { |i| assert i == 3u; };
-    let_in(3) { |i| assert i == 3; };
-    let_in(3u, fn&(i) { assert i == 3u; });
-    let_in(3, fn&(i) { assert i == 3; });
-}
\ No newline at end of file