Implement substitution for type variables.

tests/language/language_dart2js.status

 # Copyright (c) 2012, 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.
 
 [ $compiler == dart2js || $compiler == dart2dart ]
 class_literal_test/01: Fail # Class literals are expression now; delete this test.
 class_literal_test/02: Fail # Class literals are expression now; delete this test.
 class_literal_test/05: Fail # Class literals are expression now; delete this test.
 class_literal_test/06: Fail # Class literals are expression now; delete this test.
 class_literal_test/07: Fail # Class literals are expression now; delete this test.
@@ skipping 148 matching lines @@
 function_type_alias3_test: Fail # cannot resolve type F
 function_type_alias4_test: Fail # cannot resolve type F
 function_type_alias5_test/00: Fail # visitIs for typedefs not implemented
 function_type_alias5_test/01: Fail # visitIs for typedefs not implemented
 function_type_alias5_test/02: Fail # visitIs for typedefs not implemented
 function_type_alias7_test/00: Fail # wrongly accepts default values in typedef
 function_type_alias_test: Fail # cannot resolve type Fun
 function_type_parameter2_test: Fail # Internal Error: expected optional parameters
 function_type_parameter_test: Fail # Internal Error: expected optional parameters
 generic_instanceof_test: Fail # cannot resolve type T
-generic_instanceof3_test: Fail # cannot handle generics.
 generic_test: Fail # cannot resolve type T
 get_set_syntax_test/00: Fail # Fixed by https://chromiumcodereview.appspot.com/10915111
 get_set_syntax_test/01: Fail # Fixed by https://chromiumcodereview.appspot.com/10915111
 get_set_syntax_test/02: Fail # Fixed by https://chromiumcodereview.appspot.com/10915111
 get_set_syntax_test/03: Fail # Fixed by https://chromiumcodereview.appspot.com/10915111
 get_set_syntax_test/04: Fail # Fixed by https://chromiumcodereview.appspot.com/10915111
 get_set_syntax_test/05: Fail # Fixed by https://chromiumcodereview.appspot.com/10915111
 get_set_syntax_test/06: Fail # Fixed by https://chromiumcodereview.appspot.com/10915111
 get_set_syntax_test/07: Fail # Fixed by https://chromiumcodereview.appspot.com/10915111
 get_set_syntax_test/08: Fail # Fixed by https://chromiumcodereview.appspot.com/10915111
@@ skipping 39 matching lines @@
 external_test/15: Fail
 external_test/20: Skip  # Runtime error (missing patch).
 external_test/21: Fail
 external_test/22: Fail
 external_test/23: Fail
 external_test/30: Fail
 external_test/31: Fail
 
 
 # Implementation errors (library or generated code).
-generic_inheritance_test: Fail # Expect.isTrue(false) fails.
-generic_parameterized_extends_test: Fail # Expect.isTrue(false) fails.
 instanceof2_test: Fail # Expect.equals(expected: <true>, actual: <false>) fails.
 instanceof3_test: Fail # cannot resolve type UndeclaredType.
 instanceof4_test: Fail # Expect.isTrue(false) fails.
 list_literal4_test: Fail # Illegal argument(s): 0 -- checked mode test.
 map_literal4_test: Fail # Attempt to modify an immutable object -- checked mode test.
 named_parameters_type_test: Fail # Expect.equals(expected: <111>, actual: <0>) fails. -- checked mode test.
 type_checks_in_factory_method_test: Fail # Expect.equals(expected: <true>, actual: <false>) fails. -- checked mode test.
 type_dartc_test: Fail # Expect.equals(expected: <1>, actual: <0>) -- checked mode test.
 
 class_cycle_negative_test: Fail, OK # Bad test: assumes eager loading.
@@ skipping 131 matching lines @@
 call_through_null_getter_test: Fail
 closure3_test: Fail
 execute_finally3_test: Fail
 method_invocation_test: Fail
 null_pointer_exception_test: Fail
 stack_overflow_test: Fail
 stack_overflow_stacktrace_test: Fail
 string_interpolate_npe_test: Fail
 closure_call_wrong_argument_count_negative_test: Skip
 label_test: Skip