Use type variables on Typedef correctly.

tests/language/language_kernel.status

Index: tests/language/language_kernel.status
diff --git a/tests/language/language_kernel.status b/tests/language/language_kernel.status
index 4a34cd2976b1cab0032840d0ab591aca2e5aaf0f..b72732dc7216dea2e9d458a639fbfb15d7f77270 100644
--- a/tests/language/language_kernel.status
+++ b/tests/language/language_kernel.status
@@ -144,9 +144,6 @@ const_instance_field_test/01: MissingCompileTimeError # Fasta bug: Const instanc
 
 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.
@@ -173,8 +170,6 @@ 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.