Issue #411: tests for Semantics of Invocations (Static extension methods)added.
diff --git a/LanguageFeatures/Extension-methods/semantics_of_invocations_t04.dart b/LanguageFeatures/Extension-methods/semantics_of_invocations_t04.dart
index 1405bd0..3b2b985 100644
--- a/LanguageFeatures/Extension-methods/semantics_of_invocations_t04.dart
+++ b/LanguageFeatures/Extension-methods/semantics_of_invocations_t04.dart
@@ -16,6 +16,7 @@
// SharedOptions=--enable-experiment=extension-methods
import "../../Utils/expect.dart";
+
class A<T> {}
extension<T> ExtendedA on A<T> {
diff --git a/LanguageFeatures/Extension-methods/semantics_of_invocations_t05.dart b/LanguageFeatures/Extension-methods/semantics_of_invocations_t05.dart
index c2d755f..663d3bc 100644
--- a/LanguageFeatures/Extension-methods/semantics_of_invocations_t05.dart
+++ b/LanguageFeatures/Extension-methods/semantics_of_invocations_t05.dart
@@ -16,6 +16,7 @@
// SharedOptions=--enable-experiment=extension-methods
import "../../Utils/expect.dart";
+
class A<T1, T2, T3> {}
extension<T, T1, T2, T3> ExtendedA on T<T1, T2, T3> {
diff --git a/LanguageFeatures/Extension-methods/semantics_of_invocations_t06.dart b/LanguageFeatures/Extension-methods/semantics_of_invocations_t06.dart
new file mode 100644
index 0000000..5df092f
--- /dev/null
+++ b/LanguageFeatures/Extension-methods/semantics_of_invocations_t06.dart
@@ -0,0 +1,39 @@
+/*
+ * 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 If an extension is found to be the one applying to a member
+ * invocation, then at run-time, the invocation will perform a method invocation
+ * of the corresponding instance member of the extension, with [this] bound to
+ * the receiver value and type parameters bound to the types found by static
+ * inference.
+ * @description Check that type parameters bounds to the types found by static
+ * inference.
+ * @author iarkh@unipro.ru
+ */
+// SharedOptions=--enable-experiment=extension-methods
+
+import "../../Utils/expect.dart";
+
+class A<T> {}
+class B {}
+class C extends B {}
+
+extension<T> ExtendedA on A<T> {
+ void test(dynamic expected) {
+ Expect.equals(expected, T);
+ }
+}
+
+main() {
+ A<B> a1 = A<B>();
+ a1.test(B);
+
+ A<C> a2 = A<C>();
+ a2.test(C);
+
+ A<B> a3 = A<C>();
+ a3.test(C);
+}
