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; }