Use type variables on Typedef correctly.

tests/language/language_kernel.status

 # Copyright (c) 2016, 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.
 
 [ !$checked && ($compiler == dartk || $compiler == dartkp) ]
 
 deferred_constraints_type_annotation_test/type_annotation1: CompileTimeError # Fasta/KernelVM bug: Deferred loading kernel issue 28335.
 deferred_constraints_type_annotation_test/type_annotation_generic1: CompileTimeError # Fasta/KernelVM bug: Deferred loading kernel issue 28335.
 deferred_constraints_type_annotation_test/type_annotation_generic4: CompileTimeError # Fasta/KernelVM bug: Deferred loading kernel issue 28335.
 
@@ skipping 126 matching lines @@
 vm/type_vm_test: RuntimeError # Fasta bug: Bad position information in stack trace.
 
 constructor_redirect2_test/01: MissingCompileTimeError # Fasta bug: Body on redirecting constructor.
 
 const_factory_with_body_test/01: MissingCompileTimeError # Fasta bug: Const factory with body.
 
 const_instance_field_test/01: MissingCompileTimeError # Fasta bug: Const instance field.
 
 cyclic_constructor_test/01: MissingCompileTimeError # Fasta bug: Cyclic constructor redirection.
 
-cyclic_typedef_test/10: MissingCompileTimeError # Fasta bug: Cyclic typedef via type variable.
-cyclic_typedef_test/11: MissingCompileTimeError # Fasta bug: Cyclic typedef via type variable.
-
 const_optional_args_negative_test: Fail # Fasta bug: Default parameter values must be const.
 
 named_parameters_default_eq_test/02: MissingCompileTimeError # Fasta bug: Default values are not allowed on redirecting factory constructors.
 redirecting_factory_default_values_test/01: MissingCompileTimeError # Fasta bug: Default values are not allowed on redirecting factory constructors.
 redirecting_factory_default_values_test/02: MissingCompileTimeError # Fasta bug: Default values are not allowed on redirecting factory constructors.
 
 private_super_constructor_test/01: MissingCompileTimeError # Fasta bug: Illegal access to private constructor.
 regress_20394_test/01: MissingCompileTimeError # Fasta bug: Illegal access to private constructor.
 
 constructor_redirect_test/01: MissingCompileTimeError # Fasta bug: Initializer refers to this.
 
 malformed_test/none: RuntimeError # Fasta bug: Leads to assertion error in Fasta.
 
 export_double_same_main_test: CompileTimeError # Fasta bug: Main is exported.
 export_main_test: CompileTimeError # Fasta bug: Main is exported.
 
 const_constructor_nonconst_field_test/01: MissingCompileTimeError # Fasta bug: Non-const expression in field initializer.
 
 method_name_test: CompileTimeError # Fasta bug: Parser bug.
 
 named_constructor_test/01: MissingRuntimeError # Fasta bug: Bad compilation of constructor reference.
 
 regress_29349_test: CompileTimeError # Fasta bug: Parser bug.
 
 const_native_factory_test/01: MissingCompileTimeError # Fasta bug: Issue 29763
 
-generic_function_typedef_test: RuntimeError # Fasta bug: resolution of type variables in typedef.
-
 constants_test/05: Crash # Fasta bug: getter call in compile-time constant.
 
 assignable_expression_test/50: MissingCompileTimeError # Test bug: Test doesn't execute erroneous code.
 missing_const_constructor_test/02: MissingCompileTimeError # Test bug: Test doesn't execute erroneous code.
 missing_const_constructor_test/03: MissingCompileTimeError # Test bug: Test doesn't execute erroneous code.
 missing_const_constructor_test/05: MissingCompileTimeError # Test bug: Test doesn't execute erroneous code.
 missing_const_constructor_test/06: MissingCompileTimeError # Test bug: Test doesn't execute erroneous code.
 syntax_test/64: MissingCompileTimeError # Test bug: Test doesn't execute erroneous code.
 syntax_test/65: MissingCompileTimeError # Test bug: Test doesn't execute erroneous code.
 try_catch_syntax_test/16: MissingCompileTimeError # Test bug: Test doesn't execute erroneous code.
@@ skipping 204 matching lines @@
 mixin_super_bound2_test/01: RuntimeError
 mixin_super_bound_test: RuntimeError
 msk_bound_test: RuntimeError
 redirecting_factory_infinite_steps_test/01: Fail
 redirecting_factory_malbounded_test/01: Fail
 regress_22728_test: RuntimeError
 regress_26133_test: RuntimeError
 type_parameter_test/05: MissingCompileTimeError
 type_parameter_test/none: RuntimeError
 type_variable_bounds4_test/01: RuntimeError