Merge pull request #480 from jackh726/fn_def

Actually fix tests

Author: jackh726

tests/test/fn_def.rs

@@ -4,7 +4,7 @@ use super::*;
 fn fn_def_is_well_formed() {
     test! {
         program {
-            fn foo() {}
+            fn foo();
         }
         goal {
             WellFormed(foo)
@@ -21,7 +21,7 @@ fn fn_def_is_sized() {
             #[lang(sized)]
             trait Sized { }
 
-            fn foo() {}
+            fn foo();
         }
         goal {
             foo: Sized
@@ -38,7 +38,7 @@ fn fn_def_is_copy() {
             #[lang(copy)]
             trait Copy { }
 
-            fn foo() {}
+            fn foo();
         }
         goal {
             foo: Copy
@@ -55,7 +55,7 @@ fn fn_def_is_clone() {
             #[lang(clone)]
             trait Clone { }
 
-            fn foo() {}
+            fn foo();
         }
         goal {
             foo: Clone

tests/test/mod.rs

@@ -303,6 +303,7 @@ mod coinduction;
 mod constants;
 mod cycle;
 mod existential_types;
+mod fn_def;
 mod functions;
 mod implied_bounds;
 mod impls;