Fixed Issue #512: nonfunction-type-aliases option added.
diff --git a/LanguageFeatures/nnbd/type_reification_A01_t05.dart b/LanguageFeatures/nnbd/type_reification_A01_t05.dart
index 0a1e1ed..e481d6a 100644
--- a/LanguageFeatures/nnbd/type_reification_A01_t05.dart
+++ b/LanguageFeatures/nnbd/type_reification_A01_t05.dart
@@ -9,7 +9,7 @@
* opted to legacy library is a legacy type.
* @author iarkh@unipro.ru
*/
-// SharedOptions=--enable-experiment=non-nullable
+// SharedOptions=--enable-experiment=non-nullable,nonfunction-type-aliases
// Requirements=nnbd-strong
import "../../Utils/expect.dart";
import "type_reification_legacy_lib.dart";
diff --git a/LanguageFeatures/nnbd/type_reification_A01_t06.dart b/LanguageFeatures/nnbd/type_reification_A01_t06.dart
index 1fe4f21..9aaed25 100644
--- a/LanguageFeatures/nnbd/type_reification_A01_t06.dart
+++ b/LanguageFeatures/nnbd/type_reification_A01_t06.dart
@@ -9,7 +9,7 @@
* opted to legacy library can be casted correctly in opted-in code.
* @author iarkh@unipro.ru
*/
-// SharedOptions=--enable-experiment=non-nullable
+// SharedOptions=--enable-experiment=non-nullable,nonfunction-type-aliases
// Requirements=nnbd-strong
import "../../Utils/expect.dart";
import "type_reification_legacy_lib.dart";
diff --git a/LanguageFeatures/nnbd/type_reification_legacy_lib.dart b/LanguageFeatures/nnbd/type_reification_legacy_lib.dart
index 37fdcd5..1ddf2d9 100644
--- a/LanguageFeatures/nnbd/type_reification_legacy_lib.dart
+++ b/LanguageFeatures/nnbd/type_reification_legacy_lib.dart
@@ -28,6 +28,6 @@
int test4<B1 extends B>(A1 a) { return 2; }
int test5<T>(A a) { return 3; }
dynamic test6<T>(a) { return ""; }
-int test7() {}
+int test7() { return 1; }
