Merge remote-tracking branch 'origin/master'
diff --git a/Language/Classes/Instance_Methods/override_different_default_values_t03.dart b/Language/Classes/Instance_Methods/override_different_default_values_t03.dart
new file mode 100644
index 0000000..2483395
--- /dev/null
+++ b/Language/Classes/Instance_Methods/override_different_default_values_t03.dart
@@ -0,0 +1,33 @@
+/*
+ * Copyright (c) 2019, the Dart project authors.  Please see the AUTHORS file
+ * for details. All rights reserved. Use of this source code is governed by a
+ * BSD-style license that can be found in the LICENSE file.
+ */
+/**
+ * @assertion It is a static warning if an instance method m1 overrides an 
+ * instance member m2, the signature of m2 explicitly specifies a default 
+ * value for a formal parameter p and the signature of m1 specifies a different 
+ * default value for p.
+ * @description Checks that it is a static warning if overridden and overriding
+ * methods have different default values for their optional parameter. Test type
+ * aliases
+ * @issue 27476
+ * @static-warning
+ * @author sgrekhov@unipro.ru
+ */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
+class A {
+  foo([x = '']) {}
+}
+
+typedef AAlias = A;
+
+class C extends AAlias {
+  foo([x = 1]) { /// static type warning
+  }
+}
+
+main() {
+  new A().foo(2);
+  new C().foo(1);
+}
diff --git a/Language/Classes/Instance_Variables/definition_t05.dart b/Language/Classes/Instance_Variables/definition_t05.dart
new file mode 100644
index 0000000..ba88406
--- /dev/null
+++ b/Language/Classes/Instance_Variables/definition_t05.dart
@@ -0,0 +1,34 @@
+/*
+ * Copyright (c) 2019, the Dart project authors.  Please see the AUTHORS file
+ * for details. All rights reserved. Use of this source code is governed by a
+ * BSD-style license that can be found in the LICENSE file.
+ */
+/**
+ * @assertion Instance variables are variables whose declarations are
+ * immediately contained within a class declaration and that are not declared
+ * static. The instance variables of a class C are those instance variables
+ * declared by C and the instance variables inherited by C from its superclass.
+ * @description Checks that class instance variables may be inherited from a
+ * superclass. Test type alias
+ * @author sgrekhov@unipro.ru
+ */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
+import '../../../Utils/expect.dart';
+
+class A {
+    var a = 1;
+}
+class B extends A {
+    var b = 2;
+}
+class C extends B {
+    var c = 3;
+}
+typedef CAlias = C;
+
+main() {
+  CAlias c = new CAlias();
+  Expect.equals(1, c.a);
+  Expect.equals(2, c.b);
+  Expect.equals(3, c.c);
+}
diff --git a/Language/Classes/Setters/syntax_t06.dart b/Language/Classes/Setters/syntax_t06.dart
index b46a402..85fe58e 100644
--- a/Language/Classes/Setters/syntax_t06.dart
+++ b/Language/Classes/Setters/syntax_t06.dart
@@ -12,6 +12,7 @@
  * errors. Test type aliases
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 
 abstract class A<U, V> {
   void set s2(var x) {}
diff --git a/Language/Classes/Static_Methods/declaration_t04.dart b/Language/Classes/Static_Methods/declaration_t04.dart
index 3a781b7..12e548e 100644
--- a/Language/Classes/Static_Methods/declaration_t04.dart
+++ b/Language/Classes/Static_Methods/declaration_t04.dart
@@ -13,6 +13,7 @@
  * Test type aliases
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 import "../../../Utils/expect.dart";
 
 class C {
diff --git a/Language/Classes/Static_Variables/inheritance_t02.dart b/Language/Classes/Static_Variables/inheritance_t02.dart
index a4063f7..75ee395 100644
--- a/Language/Classes/Static_Variables/inheritance_t02.dart
+++ b/Language/Classes/Static_Variables/inheritance_t02.dart
@@ -13,7 +13,7 @@
  * @compile-error
  * @author sgrekhov@unipro.ru
  */
-
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 class S {
   static var foo;
 }
diff --git a/Language/Classes/Static_Variables/type_alias_t01.dart b/Language/Classes/Static_Variables/type_alias_t01.dart
index 1e809db..a6dbde3 100644
--- a/Language/Classes/Static_Variables/type_alias_t01.dart
+++ b/Language/Classes/Static_Variables/type_alias_t01.dart
@@ -11,6 +11,7 @@
  * @description Checks that static variables accessible via type alias
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 import "../../../Utils/expect.dart";
 
 class C {
diff --git a/Language/Classes/Superclasses/Inheritance_and_Overriding/abstract_method_t02.dart b/Language/Classes/Superclasses/Inheritance_and_Overriding/abstract_method_t02.dart
index 37bce52..be4c555 100644
--- a/Language/Classes/Superclasses/Inheritance_and_Overriding/abstract_method_t02.dart
+++ b/Language/Classes/Superclasses/Inheritance_and_Overriding/abstract_method_t02.dart
@@ -11,7 +11,7 @@
  * @compile-error
  * @author sgrekhov@unipro.ru
  */
-
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 
 abstract class A {
   foo();
diff --git a/Language/Classes/Superclasses/Inheritance_and_Overriding/inheritance_t08.dart b/Language/Classes/Superclasses/Inheritance_and_Overriding/inheritance_t08.dart
index 3e9d6d4..e2b0ab6 100644
--- a/Language/Classes/Superclasses/Inheritance_and_Overriding/inheritance_t08.dart
+++ b/Language/Classes/Superclasses/Inheritance_and_Overriding/inheritance_t08.dart
@@ -16,7 +16,7 @@
  * @issue 27476
  * @author sgrekhov@unipro.ru
  */
-
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 class S {
   static var v;
   static int i;
diff --git a/Language/Classes/Superclasses/Inheritance_and_Overriding/inheritance_t09.dart b/Language/Classes/Superclasses/Inheritance_and_Overriding/inheritance_t09.dart
index 4a16d9e..e998236 100644
--- a/Language/Classes/Superclasses/Inheritance_and_Overriding/inheritance_t09.dart
+++ b/Language/Classes/Superclasses/Inheritance_and_Overriding/inheritance_t09.dart
@@ -14,6 +14,7 @@
  * of a class. Test type aliases
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 
 class S {
   static var v;
diff --git a/Language/Classes/Superclasses/Inheritance_and_Overriding/inheritance_t10.dart b/Language/Classes/Superclasses/Inheritance_and_Overriding/inheritance_t10.dart
index da69b4d..53e984f 100644
--- a/Language/Classes/Superclasses/Inheritance_and_Overriding/inheritance_t10.dart
+++ b/Language/Classes/Superclasses/Inheritance_and_Overriding/inheritance_t10.dart
@@ -14,6 +14,7 @@
  * @compile-error
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 
 class S {
   static var v;
diff --git a/Language/Classes/Superclasses/Inheritance_and_Overriding/overriding_t06.dart b/Language/Classes/Superclasses/Inheritance_and_Overriding/overriding_t06.dart
index 9730eae..55692db 100644
--- a/Language/Classes/Superclasses/Inheritance_and_Overriding/overriding_t06.dart
+++ b/Language/Classes/Superclasses/Inheritance_and_Overriding/overriding_t06.dart
@@ -14,6 +14,7 @@
  * alias
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 import "../../../../Utils/expect.dart";
 
 class A {
diff --git a/Language/Classes/Superclasses/Inheritance_and_Overriding/overriding_t07.dart b/Language/Classes/Superclasses/Inheritance_and_Overriding/overriding_t07.dart
index 492d94f..f156aa9 100644
--- a/Language/Classes/Superclasses/Inheritance_and_Overriding/overriding_t07.dart
+++ b/Language/Classes/Superclasses/Inheritance_and_Overriding/overriding_t07.dart
@@ -14,6 +14,7 @@
  * names because of setter's = suffix). Test type aliases
  * @author sgrekhov@unipro
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 
 class A {
   var a = 2;
diff --git a/Language/Classes/Superclasses/Inheritance_and_Overriding/overriding_t08.dart b/Language/Classes/Superclasses/Inheritance_and_Overriding/overriding_t08.dart
index a0db215..49ecb0d 100644
--- a/Language/Classes/Superclasses/Inheritance_and_Overriding/overriding_t08.dart
+++ b/Language/Classes/Superclasses/Inheritance_and_Overriding/overriding_t08.dart
@@ -14,9 +14,9 @@
  * type aliases
  * @author sgrekhov@unipro.ru
  */
-import "../../../../Utils/expect.dart";
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 
-import "overriding_t04_lib.dart";
+import "../../../../Utils/expect.dart";
 
 typedef SAlias = S;
 
diff --git a/Language/Classes/Superclasses/extends_clause_t02.dart b/Language/Classes/Superclasses/extends_clause_t02.dart
index 01bbfeb..ce65730 100644
--- a/Language/Classes/Superclasses/extends_clause_t02.dart
+++ b/Language/Classes/Superclasses/extends_clause_t02.dart
@@ -13,6 +13,7 @@
  * superclass. Test type aliases
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 import "../../../Utils/expect.dart";
 
 class A {}
diff --git a/Language/Classes/Superclasses/superclass_of_itself_t03.dart b/Language/Classes/Superclasses/superclass_of_itself_t03.dart
index 4c13c7d..130260a 100644
--- a/Language/Classes/Superclasses/superclass_of_itself_t03.dart
+++ b/Language/Classes/Superclasses/superclass_of_itself_t03.dart
@@ -10,6 +10,7 @@
  * @compile-error
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 
 class A extends AAlias {}
 
diff --git a/Language/Classes/Superclasses/superclass_of_itself_t04.dart b/Language/Classes/Superclasses/superclass_of_itself_t04.dart
index d2cbdc1..b8aa40f 100644
--- a/Language/Classes/Superclasses/superclass_of_itself_t04.dart
+++ b/Language/Classes/Superclasses/superclass_of_itself_t04.dart
@@ -10,6 +10,7 @@
  * @compile-error
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 
 class A extends DAlias {}
 class B extends A {}
diff --git a/Language/Classes/Superclasses/transition_t02.dart b/Language/Classes/Superclasses/transition_t02.dart
index 72f18dd..daafba2 100644
--- a/Language/Classes/Superclasses/transition_t02.dart
+++ b/Language/Classes/Superclasses/transition_t02.dart
@@ -11,6 +11,7 @@
  * Test type aliases
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 import "../../../Utils/expect.dart";
 
 class A {}
diff --git a/Language/Classes/Superinterfaces/dynamic_type_t03.dart b/Language/Classes/Superinterfaces/dynamic_type_t03.dart
index 09e3821..e9081b7 100644
--- a/Language/Classes/Superinterfaces/dynamic_type_t03.dart
+++ b/Language/Classes/Superinterfaces/dynamic_type_t03.dart
@@ -11,6 +11,7 @@
  * @author sgrekhov@unipro.ru
  * @compile-error
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 
 typedef d = dynamic;
 
diff --git a/Language/Classes/Superinterfaces/implicit_interface_t03.dart b/Language/Classes/Superinterfaces/implicit_interface_t03.dart
index 516f5fc..fcc02e7 100644
--- a/Language/Classes/Superinterfaces/implicit_interface_t03.dart
+++ b/Language/Classes/Superinterfaces/implicit_interface_t03.dart
@@ -12,7 +12,7 @@
  * @compile-error
  * @author ilya
  */
-
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 abstract class I {
   foo(var x);
 }
diff --git a/Language/Classes/Superinterfaces/itself_t02.dart b/Language/Classes/Superinterfaces/itself_t02.dart
index 016ab70..c6609e5 100644
--- a/Language/Classes/Superinterfaces/itself_t02.dart
+++ b/Language/Classes/Superinterfaces/itself_t02.dart
@@ -13,7 +13,7 @@
  * @compile-error
  * @author sgrekhov@unipro.ru
  */
-
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 abstract class I {}
 
 class C implements I, CAlias {}
diff --git a/Language/Classes/Superinterfaces/more_than_once_t02.dart b/Language/Classes/Superinterfaces/more_than_once_t02.dart
index d05517b..cefa162 100644
--- a/Language/Classes/Superinterfaces/more_than_once_t02.dart
+++ b/Language/Classes/Superinterfaces/more_than_once_t02.dart
@@ -11,7 +11,7 @@
  * @compile-error
  * @author sgrekhov@unipro.ru
  */
-
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 abstract class I {}
 abstract class J {}
 
diff --git a/Language/Classes/Superinterfaces/no_member_t06.dart b/Language/Classes/Superinterfaces/no_member_t06.dart
index 00861bd..fb2a3a2 100644
--- a/Language/Classes/Superinterfaces/no_member_t06.dart
+++ b/Language/Classes/Superinterfaces/no_member_t06.dart
@@ -14,6 +14,7 @@
  * @compile-error
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 
 abstract class I {
   foo();
diff --git a/Language/Classes/Superinterfaces/no_member_t07.dart b/Language/Classes/Superinterfaces/no_member_t07.dart
index c0932b3..d217036 100644
--- a/Language/Classes/Superinterfaces/no_member_t07.dart
+++ b/Language/Classes/Superinterfaces/no_member_t07.dart
@@ -15,6 +15,7 @@
  * @static-clean
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 
 abstract class I {
   foo();
diff --git a/Language/Classes/Superinterfaces/superclass_as_superinterface_t02.dart b/Language/Classes/Superinterfaces/superclass_as_superinterface_t02.dart
index c38bb38..193d5e9 100644
--- a/Language/Classes/Superinterfaces/superclass_as_superinterface_t02.dart
+++ b/Language/Classes/Superinterfaces/superclass_as_superinterface_t02.dart
@@ -11,6 +11,8 @@
  * @compile-error
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
+
 abstract class A {}
 
 typedef AAlias = A;
diff --git a/Language/Classes/Superinterfaces/superclass_as_superinterface_t03.dart b/Language/Classes/Superinterfaces/superclass_as_superinterface_t03.dart
index 7ea76bd..c318f9a 100644
--- a/Language/Classes/Superinterfaces/superclass_as_superinterface_t03.dart
+++ b/Language/Classes/Superinterfaces/superclass_as_superinterface_t03.dart
@@ -11,6 +11,8 @@
  * @compile-error
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
+
 abstract class A {}
 
 typedef AAlias = A;
diff --git a/Language/Classes/Superinterfaces/superclass_as_superinterface_t04.dart b/Language/Classes/Superinterfaces/superclass_as_superinterface_t04.dart
index 66968a8..0099b3a 100644
--- a/Language/Classes/Superinterfaces/superclass_as_superinterface_t04.dart
+++ b/Language/Classes/Superinterfaces/superclass_as_superinterface_t04.dart
@@ -11,6 +11,8 @@
  * @compile-error
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
+
 abstract class A {}
 
 typedef AAlias = A;
diff --git a/Language/Classes/Superinterfaces/syntax_t03.dart b/Language/Classes/Superinterfaces/syntax_t03.dart
index 8dab98b..b8be9ab 100644
--- a/Language/Classes/Superinterfaces/syntax_t03.dart
+++ b/Language/Classes/Superinterfaces/syntax_t03.dart
@@ -16,6 +16,8 @@
  * superclasses' superinterfaces.
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
+
 import "../../../Utils/expect.dart";
 
 abstract class IA {}
diff --git a/Language/Enums/restrictions_t09.dart b/Language/Enums/restrictions_t09.dart
index baa052f..a3a4605 100644
--- a/Language/Enums/restrictions_t09.dart
+++ b/Language/Enums/restrictions_t09.dart
@@ -11,7 +11,7 @@
  * @compile-error
  * @author sgrekhov@unipro.ru
  */
-
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 enum E {a, b, c}
 
 typedef EAlias = E;
diff --git a/Language/Enums/restrictions_t10.dart b/Language/Enums/restrictions_t10.dart
index 45bfa4b..7ca6371 100644
--- a/Language/Enums/restrictions_t10.dart
+++ b/Language/Enums/restrictions_t10.dart
@@ -11,7 +11,7 @@
  * @compile-error
  * @author sgrekhov@unipro.ru
  */
-
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 enum E {a, b, c}
 
 typedef EAlias = E;
diff --git a/Language/Enums/restrictions_t11.dart b/Language/Enums/restrictions_t11.dart
index 7bf4ce0..e9968d3 100644
--- a/Language/Enums/restrictions_t11.dart
+++ b/Language/Enums/restrictions_t11.dart
@@ -11,7 +11,7 @@
  * @compile-error
  * @author sgrekhov@unipro.ru
  */
-
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 enum E {a, b, c}
 
 typedef EAlias = E;
diff --git a/Language/Enums/restrictions_t12.dart b/Language/Enums/restrictions_t12.dart
index 63a061d..727f7f1 100644
--- a/Language/Enums/restrictions_t12.dart
+++ b/Language/Enums/restrictions_t12.dart
@@ -10,7 +10,7 @@
  * @compile-error
  * @author sgrekhov@unipro.ru
  */
-
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 enum E {a, b, c}
 
 typedef EAlias = E;
diff --git a/Language/Enums/syntax_t10.dart b/Language/Enums/syntax_t10.dart
index 41921d8..1f6f25c 100644
--- a/Language/Enums/syntax_t10.dart
+++ b/Language/Enums/syntax_t10.dart
@@ -15,6 +15,7 @@
  *
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 import "../../Utils/expect.dart";
 
 const String some_metadata = "Some metadata";
diff --git a/Language/Expressions/Instance_Creation/New/type_t08.dart b/Language/Expressions/Instance_Creation/New/type_t08.dart
index 418c2d8..1888123 100644
--- a/Language/Expressions/Instance_Creation/New/type_t08.dart
+++ b/Language/Expressions/Instance_Creation/New/type_t08.dart
@@ -11,6 +11,7 @@
  * denote a class.
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 import '../../../../Utils/expect.dart';
 
 class C {
diff --git a/Language/Expressions/Instance_Creation/New/type_t09.dart b/Language/Expressions/Instance_Creation/New/type_t09.dart
index 0a0cc35..27b9ddcd 100644
--- a/Language/Expressions/Instance_Creation/New/type_t09.dart
+++ b/Language/Expressions/Instance_Creation/New/type_t09.dart
@@ -11,6 +11,7 @@
  * denote a class.
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 import '../../../../Utils/expect.dart';
 
 class C<T1, T2> {
diff --git a/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/inheritance_t09.dart b/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/inheritance_t09.dart
index c243934..756703a 100644
--- a/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/inheritance_t09.dart
+++ b/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/inheritance_t09.dart
@@ -30,6 +30,7 @@
  * @compile-error
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 
 class A {}
 class B extends A {}
diff --git a/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/inheritance_t10.dart b/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/inheritance_t10.dart
index 5f2eeea..ce6cfdf 100644
--- a/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/inheritance_t10.dart
+++ b/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/inheritance_t10.dart
@@ -30,6 +30,7 @@
  * @compile-error
  * @author rodionov
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 
 abstract class SI1 {
   void foo(var v);
diff --git a/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/inheritance_t11.dart b/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/inheritance_t11.dart
index abbbd15..56643e3 100644
--- a/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/inheritance_t11.dart
+++ b/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/inheritance_t11.dart
@@ -31,6 +31,7 @@
  * @compile-error
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 
 class A {}
 class B extends A {}
diff --git a/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/inheritance_t12.dart b/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/inheritance_t12.dart
index fb9eca8..848165b 100644
--- a/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/inheritance_t12.dart
+++ b/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/inheritance_t12.dart
@@ -30,6 +30,7 @@
  * @compile-error
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 
 abstract class SI1 {
   void foo(var v, {int foo, int bar});
diff --git a/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/inheritance_t13.dart b/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/inheritance_t13.dart
index 36ed786..66b4382 100644
--- a/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/inheritance_t13.dart
+++ b/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/inheritance_t13.dart
@@ -34,6 +34,7 @@
  * @static-clean
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 import '../../../../Utils/expect.dart';
 
 class C {}
diff --git a/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/inheritance_t14.dart b/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/inheritance_t14.dart
index 2258b81..8e70b30 100644
--- a/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/inheritance_t14.dart
+++ b/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/inheritance_t14.dart
@@ -32,7 +32,7 @@
  * @static-clean
  * @author sgrekhov@unipro.ru
  */
-
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 abstract class SI1 {
   void foo(var v);
 }
diff --git a/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/not_overriden_members_t03.dart b/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/not_overriden_members_t03.dart
index 4095cef..b26e071 100644
--- a/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/not_overriden_members_t03.dart
+++ b/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/not_overriden_members_t03.dart
@@ -14,6 +14,7 @@
  * @static-clean
  * @author sgrekhov@unopro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 import '../../../../Utils/expect.dart';
 
 abstract class I {
diff --git a/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/not_overriden_members_t04.dart b/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/not_overriden_members_t04.dart
index 772ad38..b634fb4 100644
--- a/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/not_overriden_members_t04.dart
+++ b/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/not_overriden_members_t04.dart
@@ -13,6 +13,8 @@
  * @compile-error
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
+
 import '../../../../Utils/expect.dart';
 
 abstract class S {
diff --git a/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/same_name_getters_t03.dart b/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/same_name_getters_t03.dart
index 61ed93b..2b5fa77 100644
--- a/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/same_name_getters_t03.dart
+++ b/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/same_name_getters_t03.dart
@@ -21,6 +21,7 @@
  * @static-clean
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 import '../../../../Utils/expect.dart';
 
 abstract class SI1 {
diff --git a/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/same_name_getters_t04.dart b/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/same_name_getters_t04.dart
index a2e8111..a011d99 100644
--- a/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/same_name_getters_t04.dart
+++ b/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/same_name_getters_t04.dart
@@ -21,6 +21,7 @@
  * @static-clean
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 import '../../../../Utils/expect.dart';
 
 abstract class SI1 {
diff --git a/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/same_name_getters_type_t10.dart b/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/same_name_getters_type_t10.dart
index 0f817f7..ab50633 100644
--- a/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/same_name_getters_type_t10.dart
+++ b/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/same_name_getters_type_t10.dart
@@ -23,7 +23,7 @@
  * @static-clean
  * @author sgrekhov@unipro.ru
  */
-
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 abstract class SI1 {
   int get m => 1;
 }
diff --git a/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/same_name_getters_type_t11.dart b/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/same_name_getters_type_t11.dart
index e906b68..0ce8fb3 100644
--- a/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/same_name_getters_type_t11.dart
+++ b/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/same_name_getters_type_t11.dart
@@ -23,7 +23,7 @@
  * @static-clean
  * @author sgrekhov@unipro.ru
  */
-
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 abstract class SI1 {
   int m() {
     return 1;
diff --git a/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/same_name_getters_type_t12.dart b/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/same_name_getters_type_t12.dart
index e5e79c4..522a542 100644
--- a/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/same_name_getters_type_t12.dart
+++ b/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/same_name_getters_type_t12.dart
@@ -24,7 +24,7 @@
  * @compile-error
  * @author sgrekhov@unipro.ru
  */
-
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 abstract class SI1 {
   int m();
 }
diff --git a/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/same_name_members_t03.dart b/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/same_name_members_t03.dart
index e3c8ddb..d3f498d 100644
--- a/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/same_name_members_t03.dart
+++ b/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/same_name_members_t03.dart
@@ -23,7 +23,7 @@
  * @compile-error
  * @author sgrekhov@unipro.ru
  */
-
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 abstract class SI1 {
   int get m => 1;
 }
diff --git a/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/same_name_method_and_getter_t03.dart b/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/same_name_method_and_getter_t03.dart
index 347cbba..a0e02c5 100644
--- a/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/same_name_method_and_getter_t03.dart
+++ b/Language/Interfaces/Superinterfaces/Inheritance_and_Overriding/same_name_method_and_getter_t03.dart
@@ -11,7 +11,7 @@
  * @compile-error
  * @author sgrekhov@unipro.ru
  */
-
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 class A {
   int get m => 0;
 }
diff --git a/Language/Interfaces/Superinterfaces/definition_t06.dart b/Language/Interfaces/Superinterfaces/definition_t06.dart
index 8600ba7..60524a9 100644
--- a/Language/Interfaces/Superinterfaces/definition_t06.dart
+++ b/Language/Interfaces/Superinterfaces/definition_t06.dart
@@ -13,6 +13,7 @@
  * @compile-error
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 
 abstract class C implements A {}
 abstract class B implements C {}
diff --git a/Language/Interfaces/Superinterfaces/superinterface_of_itself_t04.dart b/Language/Interfaces/Superinterfaces/superinterface_of_itself_t04.dart
index 0963ce8..b3fe703 100644
--- a/Language/Interfaces/Superinterfaces/superinterface_of_itself_t04.dart
+++ b/Language/Interfaces/Superinterfaces/superinterface_of_itself_t04.dart
@@ -11,6 +11,7 @@
  * @compile-error
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 
 abstract class I implements IAlias {}
 typedef IAlias = I;
diff --git a/Language/Mixins/Mixin_Application/abstract_t09.dart b/Language/Mixins/Mixin_Application/abstract_t09.dart
index d0ac31e..9405af3 100644
--- a/Language/Mixins/Mixin_Application/abstract_t09.dart
+++ b/Language/Mixins/Mixin_Application/abstract_t09.dart
@@ -14,7 +14,7 @@
  * identifier. Test type aliases
  * @author sgrekhov@unipro.ru
  */
-
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 class S {
 }
 
diff --git a/Language/Mixins/Mixin_Application/abstract_t10.dart b/Language/Mixins/Mixin_Application/abstract_t10.dart
index f089e1e..648314b 100644
--- a/Language/Mixins/Mixin_Application/abstract_t10.dart
+++ b/Language/Mixins/Mixin_Application/abstract_t10.dart
@@ -14,7 +14,7 @@
  * type aliases
  * @author sgrekhov@unipro.ru
  */
-
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 abstract class M {
 }
 
diff --git a/Language/Mixins/Mixin_Application/abstract_t11.dart b/Language/Mixins/Mixin_Application/abstract_t11.dart
index f91ebaa..a29386c 100644
--- a/Language/Mixins/Mixin_Application/abstract_t11.dart
+++ b/Language/Mixins/Mixin_Application/abstract_t11.dart
@@ -14,7 +14,7 @@
  * type aliases
  * @author sgrekhov@unipro.ru
  */
-
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 class M {
 }
 
diff --git a/Language/Mixins/Mixin_Application/abstract_t12.dart b/Language/Mixins/Mixin_Application/abstract_t12.dart
index bc3dc05..4fad486 100644
--- a/Language/Mixins/Mixin_Application/abstract_t12.dart
+++ b/Language/Mixins/Mixin_Application/abstract_t12.dart
@@ -14,7 +14,7 @@
  * application are abstract. Test type aliases
  * @author sgrekhov@unipro.ru
  */
-
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 abstract class M {
 }
 
diff --git a/Language/Mixins/Mixin_Application/abstract_t13.dart b/Language/Mixins/Mixin_Application/abstract_t13.dart
index 74d0e5a..7ec5685 100644
--- a/Language/Mixins/Mixin_Application/abstract_t13.dart
+++ b/Language/Mixins/Mixin_Application/abstract_t13.dart
@@ -15,7 +15,7 @@
  * @compile-error
  * @author sgrekhov@unipro.ru
  */
-
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 abstract class M {
   int n();
 }
diff --git a/Language/Mixins/Mixin_Application/deferred_t03.dart b/Language/Mixins/Mixin_Application/deferred_t03.dart
index 1972449..881c5f4 100644
--- a/Language/Mixins/Mixin_Application/deferred_t03.dart
+++ b/Language/Mixins/Mixin_Application/deferred_t03.dart
@@ -11,6 +11,7 @@
  * @compile-error
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 
 import 'deferred_lib.dart' deferred as d;
 
diff --git a/Language/Mixins/Mixin_Application/implicit_constructor_t03.dart b/Language/Mixins/Mixin_Application/implicit_constructor_t03.dart
index f650300..9b8f3c6 100644
--- a/Language/Mixins/Mixin_Application/implicit_constructor_t03.dart
+++ b/Language/Mixins/Mixin_Application/implicit_constructor_t03.dart
@@ -12,6 +12,7 @@
  * declares constructor described in the assertion
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 import "../../../Utils/expect.dart";
 
 class A {
diff --git a/Language/Mixins/Mixin_Application/implicit_constructor_t04.dart b/Language/Mixins/Mixin_Application/implicit_constructor_t04.dart
index 45f4794..4eb985c 100644
--- a/Language/Mixins/Mixin_Application/implicit_constructor_t04.dart
+++ b/Language/Mixins/Mixin_Application/implicit_constructor_t04.dart
@@ -12,6 +12,7 @@
  * declares constructor described in the assertion. Test type alias
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 import "../../../Utils/expect.dart";
 
 class A {
diff --git a/Language/Mixins/Mixin_Application/initializers_t04.dart b/Language/Mixins/Mixin_Application/initializers_t04.dart
index db2763c..c2552bc 100644
--- a/Language/Mixins/Mixin_Application/initializers_t04.dart
+++ b/Language/Mixins/Mixin_Application/initializers_t04.dart
@@ -11,6 +11,7 @@
  * and initialize corresponding fields of the class. Test type aliases
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 import "../../../Utils/expect.dart";
 
 class A {
diff --git a/Language/Mixins/Mixin_Application/initializers_t05.dart b/Language/Mixins/Mixin_Application/initializers_t05.dart
index f5114e3..74839ed 100644
--- a/Language/Mixins/Mixin_Application/initializers_t05.dart
+++ b/Language/Mixins/Mixin_Application/initializers_t05.dart
@@ -11,6 +11,7 @@
  * and initialize corresponding fields of the class. Test type aliases
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 import "../../../Utils/expect.dart";
 
 class A {
diff --git a/Language/Mixins/Mixin_Application/initializers_t06.dart b/Language/Mixins/Mixin_Application/initializers_t06.dart
index 2763611..19f33fe 100644
--- a/Language/Mixins/Mixin_Application/initializers_t06.dart
+++ b/Language/Mixins/Mixin_Application/initializers_t06.dart
@@ -11,6 +11,7 @@
  * and initialize corresponding fields of the class C.
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 import "../../../Utils/expect.dart";
 
 class A {
diff --git a/Language/Mixins/Mixin_Application/interfaces_t06.dart b/Language/Mixins/Mixin_Application/interfaces_t06.dart
index 1c8fc49..6fb4a30 100644
--- a/Language/Mixins/Mixin_Application/interfaces_t06.dart
+++ b/Language/Mixins/Mixin_Application/interfaces_t06.dart
@@ -12,7 +12,7 @@
  * @static-clean
  * @author sgrekhov@unipro.ru
  */
-
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 abstract class I {
   num get g;
 }
diff --git a/Language/Mixins/Mixin_Application/interfaces_t07.dart b/Language/Mixins/Mixin_Application/interfaces_t07.dart
index c528444..e1895da 100644
--- a/Language/Mixins/Mixin_Application/interfaces_t07.dart
+++ b/Language/Mixins/Mixin_Application/interfaces_t07.dart
@@ -13,7 +13,7 @@
  * @static-clean
  * @author sgrekhov@unipro.ru
  */
-
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 abstract class I {
   num get g1;
   String get g2;
diff --git a/Language/Mixins/Mixin_Application/superclass_t03.dart b/Language/Mixins/Mixin_Application/superclass_t03.dart
index 7f3a276..427915f 100644
--- a/Language/Mixins/Mixin_Application/superclass_t03.dart
+++ b/Language/Mixins/Mixin_Application/superclass_t03.dart
@@ -11,6 +11,7 @@
  * @issue 26409
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 import "../../../Utils/expect.dart";
 
 class Sstatic {
diff --git a/Language/Mixins/Mixin_Application/superclass_t04.dart b/Language/Mixins/Mixin_Application/superclass_t04.dart
index ed1f29e..7306ee3 100644
--- a/Language/Mixins/Mixin_Application/superclass_t04.dart
+++ b/Language/Mixins/Mixin_Application/superclass_t04.dart
@@ -11,6 +11,7 @@
  * @issue 26409
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 import "../../../Utils/expect.dart";
 
 class Sstatic {
diff --git a/Language/Mixins/Mixin_Application/superinterfaces_t10.dart b/Language/Mixins/Mixin_Application/superinterfaces_t10.dart
index 467c046..0acf72b 100644
--- a/Language/Mixins/Mixin_Application/superinterfaces_t10.dart
+++ b/Language/Mixins/Mixin_Application/superinterfaces_t10.dart
@@ -14,7 +14,7 @@
  * @compile-error
  * @author sgrekhov@unipro.ru
  */
-
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 abstract class A {
   int get a;
 }
diff --git a/Language/Mixins/Mixin_Application/superinterfaces_t11.dart b/Language/Mixins/Mixin_Application/superinterfaces_t11.dart
index 774ab74..2ec01bf 100644
--- a/Language/Mixins/Mixin_Application/superinterfaces_t11.dart
+++ b/Language/Mixins/Mixin_Application/superinterfaces_t11.dart
@@ -14,7 +14,7 @@
  * @static-clean
  * @author sgrekhov@unipro.ru
  */
-
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 abstract class A {
   int get a;
 }
diff --git a/Language/Mixins/Mixin_Application/superinterfaces_t12.dart b/Language/Mixins/Mixin_Application/superinterfaces_t12.dart
index 7b23e95..40b4beb 100644
--- a/Language/Mixins/Mixin_Application/superinterfaces_t12.dart
+++ b/Language/Mixins/Mixin_Application/superinterfaces_t12.dart
@@ -14,7 +14,7 @@
  * @static-clean
  * @author sgrekhov@unipro.ru
  */
-
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 class A {
   int get a => 0;
 }
diff --git a/Language/Mixins/Mixin_Application/superinterfaces_t13.dart b/Language/Mixins/Mixin_Application/superinterfaces_t13.dart
index aae2f55..5c1a924 100644
--- a/Language/Mixins/Mixin_Application/superinterfaces_t13.dart
+++ b/Language/Mixins/Mixin_Application/superinterfaces_t13.dart
@@ -15,7 +15,7 @@
  * @compile-error
  * @author sgrekhov@unipro.ru
  */
-
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 class A {
   int get a => 0;
 }
diff --git a/Language/Mixins/Mixin_Application/superinterfaces_t14.dart b/Language/Mixins/Mixin_Application/superinterfaces_t14.dart
index 49047ca..a751f02 100644
--- a/Language/Mixins/Mixin_Application/superinterfaces_t14.dart
+++ b/Language/Mixins/Mixin_Application/superinterfaces_t14.dart
@@ -13,6 +13,7 @@
  * and C does implement them. Test class C = S with M; syntax. Test type alias
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 abstract class A {
   int get a;
 }
diff --git a/Language/Mixins/Mixin_Application/syntax_t26.dart b/Language/Mixins/Mixin_Application/syntax_t26.dart
index f9cab20..45a98ba 100644
--- a/Language/Mixins/Mixin_Application/syntax_t26.dart
+++ b/Language/Mixins/Mixin_Application/syntax_t26.dart
@@ -15,6 +15,7 @@
  * its mixins. Test type aliases
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 import "../../../Utils/expect.dart";
 
 class A {
diff --git a/Language/Mixins/Mixin_Application/warning_t04.dart b/Language/Mixins/Mixin_Application/warning_t04.dart
index 1691452..b226928 100644
--- a/Language/Mixins/Mixin_Application/warning_t04.dart
+++ b/Language/Mixins/Mixin_Application/warning_t04.dart
@@ -14,7 +14,7 @@
  * @author sgrekhov@unipro.ru
  * @issue 23878
  */
-
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 class S {
 }
 
diff --git a/Language/Mixins/Mixin_Application/wrong_mixin_type_t09.dart b/Language/Mixins/Mixin_Application/wrong_mixin_type_t09.dart
index ca5c9c6..ecfc855 100644
--- a/Language/Mixins/Mixin_Application/wrong_mixin_type_t09.dart
+++ b/Language/Mixins/Mixin_Application/wrong_mixin_type_t09.dart
@@ -15,7 +15,7 @@
  * @compile-error
  * @author sgrekhov@unipro.ru
  */
-
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 class S {
 }
 
diff --git a/Language/Mixins/Mixin_Composition/order_t02.dart b/Language/Mixins/Mixin_Composition/order_t02.dart
index 33cb787..04f7b2a 100644
--- a/Language/Mixins/Mixin_Composition/order_t02.dart
+++ b/Language/Mixins/Mixin_Composition/order_t02.dart
@@ -22,6 +22,7 @@
  * order. Test type aliases
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 import "../../../Utils/expect.dart";
 
 class A {
diff --git a/Language/Mixins/declaring_constructor_t11.dart b/Language/Mixins/declaring_constructor_t11.dart
index 7b613f2..c6cf58d 100644
--- a/Language/Mixins/declaring_constructor_t11.dart
+++ b/Language/Mixins/declaring_constructor_t11.dart
@@ -11,7 +11,7 @@
  * @compile-error
  * @author sgrekhov@unipro.ru
  */
-
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
 class A {
 }
 
diff --git a/Language/Types/Type_Aliases/scope_t01.dart b/Language/Types/Type_Aliases/scope_t01.dart
index a4b77fc..10829dc 100644
--- a/Language/Types/Type_Aliases/scope_t01.dart
+++ b/Language/Types/Type_Aliases/scope_t01.dart
@@ -11,6 +11,7 @@
  * the name id, bound to the type T .

  * @author sgrekhov@unipro.ru

  */

+// SharedOptions=--enable-experiment=nonfunction-type-aliases

 import "../../../Utils/expect.dart";

 

 class A {}

diff --git a/Language/Types/Type_Aliases/scope_t02.dart b/Language/Types/Type_Aliases/scope_t02.dart
index 0b7aeab..43d3792 100644
--- a/Language/Types/Type_Aliases/scope_t02.dart
+++ b/Language/Types/Type_Aliases/scope_t02.dart
@@ -10,6 +10,7 @@
  * @description Checks that it is a compile error if id is not unique

  * @author sgrekhov@unipro.ru

  */

+// SharedOptions=--enable-experiment=nonfunction-type-aliases

 

 class A {}

 class C<T> {}

diff --git a/Language/Types/Type_Aliases/scope_t03.dart b/Language/Types/Type_Aliases/scope_t03.dart
index 59fbfba..0955a58 100644
--- a/Language/Types/Type_Aliases/scope_t03.dart
+++ b/Language/Types/Type_Aliases/scope_t03.dart
@@ -11,6 +11,7 @@
  * the name id into the scope of L, bound to the type T .

  * @author sgrekhov@unipro.ru

  */

+// SharedOptions=--enable-experiment=nonfunction-type-aliases

 import "../../../Utils/expect.dart";

 import "scope.lib.dart";

 

diff --git a/Language/Types/Type_Aliases/scope_t04.dart b/Language/Types/Type_Aliases/scope_t04.dart
index 4540491..97a5ece 100644
--- a/Language/Types/Type_Aliases/scope_t04.dart
+++ b/Language/Types/Type_Aliases/scope_t04.dart
@@ -10,7 +10,7 @@
  * @description Checks that it is a compile error if id is not unique

  * @author sgrekhov@unipro.ru

  */

-import "scope.lib.dart";

+// SharedOptions=--enable-experiment=nonfunction-type-aliases

 

 typedef AAlias = A;             //# 01: compile-time error

 typedef AAlias = C<String>;     //# 02: compile-time error

diff --git a/Language/Types/Type_Aliases/self_reference_t19.dart b/Language/Types/Type_Aliases/self_reference_t19.dart
index 418e0fc..b3aed66 100644
--- a/Language/Types/Type_Aliases/self_reference_t19.dart
+++ b/Language/Types/Type_Aliases/self_reference_t19.dart
@@ -11,6 +11,7 @@
  * @compile-error

  * @author sgrekhov@unipro.ru

  */

+// SharedOptions=--enable-experiment=nonfunction-type-aliases

 class C<T> {}

 

 typedef CAlias1<T extends CAlias2> = C<T>;

diff --git a/Language/Types/Type_Aliases/self_reference_t20.dart b/Language/Types/Type_Aliases/self_reference_t20.dart
index 5e19e7c..8adfd9d 100644
--- a/Language/Types/Type_Aliases/self_reference_t20.dart
+++ b/Language/Types/Type_Aliases/self_reference_t20.dart
@@ -11,6 +11,7 @@
  * @compile-error

  * @author sgrekhov@unipro.ru

  */

+// SharedOptions=--enable-experiment=nonfunction-type-aliases

 class C<T1, T2> {}

 

 typedef CAlias1<T1, T2> = C<T1, T2>;

diff --git a/Language/Types/Type_Aliases/syntax_t01.dart b/Language/Types/Type_Aliases/syntax_t01.dart
index 4fadec6..f5a8796 100644
--- a/Language/Types/Type_Aliases/syntax_t01.dart
+++ b/Language/Types/Type_Aliases/syntax_t01.dart
@@ -14,6 +14,7 @@
  * non-function type alias with no type parameters

  * @author sgrekhov@unipro.ru

  */

+// SharedOptions=--enable-experiment=nonfunction-type-aliases

 import "../../../Utils/expect.dart";

 

 const int meta = 1;

diff --git a/Language/Types/Type_Aliases/syntax_t02.dart b/Language/Types/Type_Aliases/syntax_t02.dart
index 7c39b80..a99aa1d 100644
--- a/Language/Types/Type_Aliases/syntax_t02.dart
+++ b/Language/Types/Type_Aliases/syntax_t02.dart
@@ -14,6 +14,7 @@
  * non-function type alias with type parameters

  * @author sgrekhov@unipro.ru

  */

+// SharedOptions=--enable-experiment=nonfunction-type-aliases

 import "../../../Utils/expect.dart";

 

 const int meta = 1;

diff --git a/Language/Types/Type_Aliases/syntax_t03.dart b/Language/Types/Type_Aliases/syntax_t03.dart
index bac020c..81b1a25 100644
--- a/Language/Types/Type_Aliases/syntax_t03.dart
+++ b/Language/Types/Type_Aliases/syntax_t03.dart
@@ -14,6 +14,7 @@
  * non-function type alias with type parameters

  * @author sgrekhov@unipro.ru

  */

+// SharedOptions=--enable-experiment=nonfunction-type-aliases

 import "../../../Utils/expect.dart";

 

 const int meta = 1;

diff --git a/Language/Types/Type_Aliases/syntax_t04.dart b/Language/Types/Type_Aliases/syntax_t04.dart
index 338864f..d43706a 100644
--- a/Language/Types/Type_Aliases/syntax_t04.dart
+++ b/Language/Types/Type_Aliases/syntax_t04.dart
@@ -14,6 +14,7 @@
  * non-function type alias with type parameters

  * @author sgrekhov@unipro.ru

  */

+// SharedOptions=--enable-experiment=nonfunction-type-aliases

 import "../../../Utils/expect.dart";

 

 class A {}

diff --git a/Language/Types/Type_Aliases/syntax_t05.dart b/Language/Types/Type_Aliases/syntax_t05.dart
index d4dab5a..50170c5 100644
--- a/Language/Types/Type_Aliases/syntax_t05.dart
+++ b/Language/Types/Type_Aliases/syntax_t05.dart
@@ -14,6 +14,7 @@
  * of type parameters with type parameters

  * @author sgrekhov@unipro.ru

  */

+// SharedOptions=--enable-experiment=nonfunction-type-aliases

 

 class A {}

 class C<T1, T2> {}

diff --git a/Language/Types/Type_Aliases/syntax_t06.dart b/Language/Types/Type_Aliases/syntax_t06.dart
index f54199c..0d06ab4 100644
--- a/Language/Types/Type_Aliases/syntax_t06.dart
+++ b/Language/Types/Type_Aliases/syntax_t06.dart
@@ -14,6 +14,8 @@
  * placed

  * @author sgrekhov@unipro.ru

  */

+// SharedOptions=--enable-experiment=nonfunction-type-aliases

+

 const int meta = 1;

 

 class A {}

diff --git a/Language/Types/Type_Aliases/syntax_t20.dart b/Language/Types/Type_Aliases/syntax_t20.dart
index 22d92cf..8c1a866 100644
--- a/Language/Types/Type_Aliases/syntax_t20.dart
+++ b/Language/Types/Type_Aliases/syntax_t20.dart
@@ -14,6 +14,8 @@
  * built-in types
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
+
 import "../../../Utils/expect.dart";
 
 const int meta = 1;
diff --git a/Language/Types/Type_Aliases/syntax_t21.dart b/Language/Types/Type_Aliases/syntax_t21.dart
index f8f811c..59e5a22 100644
--- a/Language/Types/Type_Aliases/syntax_t21.dart
+++ b/Language/Types/Type_Aliases/syntax_t21.dart
@@ -14,6 +14,8 @@
  * built-in types
  * @author sgrekhov@unipro.ru
  */
+// SharedOptions=--enable-experiment=nonfunction-type-aliases
+
 import "dart:async";
 import "../../../Utils/expect.dart";