Fix for issue #110 in a strong mode. Allow every value for 'void'

Author: Sergey G. Grekhov

Language/Functions/async_return_type_t01.dart

@@ -13,7 +13,6 @@
  * @compile-error
  * @author [email protected]
  */
-import 'dart:async';
 
 int f() async {
   return 1;

Language/Functions/async_return_type_t02.dart

@@ -7,13 +7,12 @@
  * @assertion It is a static warning if the declared return type of a function
  * marked async may not be assigned to Future.
  *
- * @description Check that it is a compile time error, if the declared
- * return type of asynchronous function may not be assigned to Future.
+ * @description Check that it is no compile time error, if the declared
+ * return type of asynchronous function may not be assigned to Future but is
+ * void.
  *
- * @compile-error
  * @author [email protected]
  */
-import 'dart:async';
 
 void h() async {
   return null;

Language/Functions/generator_return_type_t02.dart

@@ -9,11 +9,10 @@
  * the declared return type of a function marked async* may not be assigned
  * to Stream.
  *
- * @description Check that it is a compile error, if the declared
+ * @description Check that it is no compile error, if the declared
  * return type of synchronous generator function may not be assigned
- * to Iterable.
+ * to Iterable but is void.
  *
- * @compile-error
  * @author [email protected]
  */
 

Language/Functions/generator_return_type_t06.dart

@@ -9,10 +9,10 @@
  * the declared return type of a function marked async* may not be assigned
  * to Stream.
  *
- * @description Check that it is a compile error, if the declared
- * return type of a function marked async* may not be assigned to Stream.
+ * @description Check that it is no compile error, if the declared
+ * return type of a function marked async* may not be assigned to Stream but is
+ * void.
  *
- * @compile-error
  * @author [email protected]
  */
 

Language/Types/Type_Void/returning_t02.dart

@@ -10,12 +10,11 @@
  * checked mode, a dynamic type error would arise if a non-null object was
  * returned from a void method (since no object has runtime type dynamic).
  * @description Checks that returning null or a value with static type dynamic
- * from within a void method does not result in a static type warning, but it's
- * a type error in the latter case.
+ * from within a void method does not result in a static type warning or any
+ * error
  * @static-clean
  * @author rodionov
  */
-import "../../../Utils/dynamic_check.dart";
 
 void foo() {
   return null;
@@ -27,8 +26,5 @@ void bar(var v) {
 
 main() {
   foo();
-
-  checkTypeError(() {
-    bar(1);
-  });
+  bar(1);
 }

Language/Types/Type_Void/returning_t03.dart

@@ -10,19 +10,15 @@
  * checked mode, a dynamic type error would arise if a non-null object was
  * returned from a void method (since no object has runtime type dynamic).
  * @description Checks that returning a non-null value with non-dynamic static
- * type from within a void method results in a compile error.
- * @compile-error
+ * type from within a void method produces no error.
  * @author rodionov
  */
-import "../../../Utils/dynamic_check.dart";
 
 void foo() {
   String s = "foo";
   return s;
 }
 
 main() {
-  checkTypeError(() {
-    foo();
-  });
+  foo();
 }

Language/Types/Type_Void/returning_t04.dart

@@ -10,10 +10,8 @@
  * checked mode, a dynamic type error would arise if a non-null object was
  * returned from a void method (since no object has runtime type dynamic).
  * @description Checks that returning a non-null value with non-dynamic static
- * type from within a void method results in compile error.
- * @compile-error
+ * type from within a void method produces no error.
  * @author rodionov
- * @reviewer iefremov
  */
 
 void foo() {

Language/Types/Type_Void/returning_t05.dart

@@ -10,8 +10,7 @@
  * checked mode, a dynamic type error would arise if a non-null object was
  * returned from a void method (since no object has runtime type dynamic).
  * @description Checks that returning a non-null value with non-dynamic static
- * type from within a void method results in compile error.
- * @compile-error
+ * type from within a void method produces no error.
  * @author rodionov
  */