Preserve type variables in closure conversion.

pkg/kernel/testcases/closures_type_vars/type_variables.dart.expect

Index: pkg/kernel/testcases/closures_type_vars/type_variables.dart.expect
diff --git a/pkg/kernel/testcases/closures_type_vars/type_variables.dart.expect b/pkg/kernel/testcases/closures_type_vars/type_variables.dart.expect
new file mode 100644
index 0000000000000000000000000000000000000000..095f2a18059d5f7fbaa960fe0cacec9da4ac16a9
--- /dev/null
+++ b/pkg/kernel/testcases/closures_type_vars/type_variables.dart.expect
@@ -0,0 +1,60 @@
+library;
+import self as self;
+import "dart:core" as core;
+
+class C<T extends core::Object, S extends core::Object> extends core::Object {
+  constructor internal() → void
+    : super core::Object::•()
+    ;
+  method foo(self::C::S s) → dynamic {
+    final Vector #context = MakeVector(2);
+    #context[1] = this;
+    return MakeClosure<<T extends core::Object, S extends core::Object>(self::closure#C#foo#function::T) → self::closure#C#foo#function::T, self::C::T, self::C::S>(self::closure#C#foo#function, #context);
+  }
+  method bar() → dynamic {
+    self::C<self::C::T, self::C::S> self = this;
+  }
+  method baz() → dynamic {
+    return MakeClosure<<T extends core::Object, S extends core::Object>() → () → self::C<self::closure#C#baz#function::T, self::closure#C#baz#function::S>, self::C::T, self::C::S>(self::closure#C#baz#function, null);
+  }
+  static factory •<T extends core::Object, S extends core::Object>() → self::C<self::C::•::T, self::C::•::S> {
+    final <T extends core::Object, S extends core::Object>() → self::C<self::C::•::T, self::C::•::S> local = MakeClosure<<T extends core::Object, S extends core::Object>() → self::C<self::closure#C#function#local::T, self::closure#C#function#local::S>, self::C::•::T, self::C::•::S>(self::closure#C#function#local, null);
+    return local.call();
+  }
+}
+static method fn<A extends core::Object>(self::fn::A x) → dynamic {
+  <A extends core::Object>(self::fn::A) → core::List<self::fn::A> fn2 = MakeClosure<<A extends core::Object>(self::closure#fn#function::A) → core::List<self::closure#fn#function::A>, self::fn::A>(self::closure#fn#function, null);

[Dmitry Stefantsov, 2017/07/25 09:13:34]

Same comment as at instance_tear_off.dart.expect applies here.

[sjindel, 2017/07/25 13:11:48]

Done.

+  return fn2.call(x);
+}
+static method main(dynamic arguments) → dynamic {
+  core::print(self::C::•<core::String, core::String>().{self::C::foo}(null).call(arguments.first));
+  dynamic c = self::C::•<core::int, core::int>().{self::C::baz}().call().call();
+  if(!(c is self::C<core::int, core::int>))
+    throw "${c} fails type test 'is C<int, int>'";
+  if(c is self::C<core::String, core::String>) {
+    throw "${c{self::C<core::String, core::String>}} passes type test 'is C<String, String>'";
+  }
+  core::print(c);
+  core::print(self::fn<core::int>(3));
+}
+static method closure#C#foo#function<T extends core::Object, S extends core::Object>(Vector #contextParameter, self::closure#C#foo#function::T x) → self::closure#C#foo#function::T {
+  self::closure#C#foo#function::T y = x;
+  core::Object z = y;
+  self::C<self::closure#C#foo#function::T, self::closure#C#foo#function::S> self = #contextParameter[1];
+  return z as self::closure#C#foo#function::T;
+}
+static method closure#C#baz#function#function<T extends core::Object, S extends core::Object>(Vector #contextParameter) → self::C<self::closure#C#baz#function#function::T, self::closure#C#baz#function#function::S> {
+  return self::C::•<self::closure#C#baz#function#function::T, self::closure#C#baz#function#function::S>();
+}
+static method closure#C#baz#function<T extends core::Object, S extends core::Object>(Vector #contextParameter) → () → self::C<self::closure#C#baz#function::T, self::closure#C#baz#function::S> {
+  return MakeClosure<<T extends core::Object, S extends core::Object>() → self::C<self::closure#C#baz#function#function::T, self::closure#C#baz#function#function::S>, self::C::T, self::C::S>(self::closure#C#baz#function#function, #contextParameter);
+}
+static method closure#C#function#local<T extends core::Object, S extends core::Object>(Vector #contextParameter) → self::C<self::closure#C#function#local::T, self::closure#C#function#local::S> {
+  self::C<self::closure#C#function#local::T, self::closure#C#function#local::S> self = new self::C::internal<self::closure#C#function#local::T, self::closure#C#function#local::S>();
+  return self;
+}
+static method closure#fn#function<A extends core::Object>(Vector #contextParameter, self::closure#fn#function::A x2) → core::List<self::closure#fn#function::A> {
+  core::List<self::closure#fn#function::A> l = <self::closure#fn#function::A>[];
+  l.{core::List::add}(x2);
+  return l;
+}