Simplify and fix instantiation of recursive types.

tests/language/language.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.
 
 # This directory contains tests that are intended to show the
 # current state of the language.
 
 [ $compiler == none ]
 mixin_super_constructor_named_test: Fail # Issue 12631
 mixin_super_constructor_positionals_test: Fail # Issue 12631
 built_in_identifier_prefix_test: Fail # Issue 6970
 
 # These bugs refer currently ongoing language discussions.
 constructor_initializer_test/none: Fail # Issue 12633
 constructor5_test: Fail # Issue 6422
 constructor6_test: Fail # Issue 6422
 closure_in_initializer_test: Fail # Issue 6422
 
 # Regular bugs which should be fixed.
 duplicate_export_negative_test: Fail # Issue 6134
 mixin_forwarding_constructor2_test: Fail # Issue 13641
 
 # Issue 17521
 deferred_constraints_constants_test/default_argument2: Fail
 
 # These test use the old syntax, and will be phased out.
-deferred_constraints_type_annotation_old_syntax_test/as_operation: Fail, Ok
-deferred_constraints_type_annotation_old_syntax_test/is_check: Fail, Ok
-deferred_constraints_type_annotation_old_syntax_test/catch_check: Fail, Ok
-deferred_constraints_type_annotation_old_syntax_test/new_before_load: Fail, Ok
 deferred_constraints_constants_old_syntax_test/reference1: Fail, Ok
 deferred_constraints_constants_old_syntax_test/reference2: Fail, Ok
 deferred_constraints_constants_old_syntax_test/metadata1: Fail, Ok
 deferred_constraints_constants_old_syntax_test/metadata2: Fail, Ok
 deferred_constraints_constants_old_syntax_test/metadata3: Fail, Ok
 deferred_constraints_constants_old_syntax_test/default_argument1: Fail, Ok
 deferred_constraints_constants_old_syntax_test/default_argument2: Fail, Ok
 deferred_constraints_constants_old_syntax_test/constructor1: Fail, Ok
 deferred_constraints_constants_old_syntax_test/constructor2: Fail, Ok
 
-cyclic_type_test: Fail, OK # Issue 17629
-cyclic_type2_test: Fail, OK # Issue 17629
-least_upper_bound_expansive_test/*: Fail, OK # Issue 17629
-
-[ ($compiler == dart2dart)]
+[ $compiler == dart2dart]
 # Issue 17523
-deferred_constraints_type_annotation_test/as_operation: Fail
-deferred_constraints_type_annotation_test/is_check: Fail
-deferred_constraints_type_annotation_test/catch_check: Fail
-deferred_constraints_type_annotation_test/new_before_load: Fail
 deferred_load_library_wrong_args_test/none: Fail
 deferred_load_inval_code_test: Fail # dartbug.com/17933
-
-cyclic_type_test: Fail, OK # Issue 17629
-cyclic_type2_test: Fail, OK # Issue 17629
-least_upper_bound_expansive_test/*: Fail, OK # Issue 17629
-
-[ ($compiler == dart2dart)]
-# Issue 17523
 deferred_constraints_type_annotation_test/*: Fail, Pass
 deferred_constraints_constants_test/*: Fail, Pass
-deferred_constraints_type_annotation_old_syntax_test/as_operation: Fail
-deferred_constraints_type_annotation_old_syntax_test/is_check: Fail
-deferred_constraints_type_annotation_old_syntax_test/catch_check: Fail
-deferred_constraints_type_annotation_old_syntax_test/new_before_load: Fail
 deferred_shadow_load_library_test: Fail
 deferred_closurize_load_library_test: Fail
 
+[ $compiler == none || $compiler == dart2dart]
+# These test use the old syntax, and will be phased out.
+deferred_constraints_type_annotation_old_syntax_test/as_operation: Fail, Ok
+deferred_constraints_type_annotation_old_syntax_test/is_check: Fail, Ok
+deferred_constraints_type_annotation_old_syntax_test/catch_check: Fail, Ok
+deferred_constraints_type_annotation_old_syntax_test/new_before_load: Fail, Ok
+
+# Non-contractive types are not supported in the vm.
+cyclic_type_test/02: Fail, OK
+cyclic_type_test/04: Fail, OK
+cyclic_type2_test: Fail, OK
+least_upper_bound_expansive_test/*: Fail, OK
+
 [ ($compiler == none || $compiler == dart2dart) && $checked ]
 # Issue 17521, 17523
 # Dart2dart does not support deferred loading.
 deferred_constraints_type_annotation_old_syntax_test/type_annotation1: Fail
 deferred_constraints_type_annotation_old_syntax_test/type_annotation_generic1: Fail
 deferred_constraints_type_annotation_old_syntax_test/type_annotation_generic4: Fail
 
 [ $compiler == none || $compiler == dartanalyzer || $compiler == dart2analyzer ]
 # Issue 17521, 17522
 deferred_no_prefix_old_syntax_test/01: Fail
@@ skipping 51 matching lines @@
 
 [ $compiler == none && $runtime == vm && $arch == mips && $checked ]
 generic_instanceof3_test: Pass, Crash # Issue 17440.
 
 [ $compiler == none && $runtime == vm && $arch == mips && $mode == debug ]
 stack_overflow_test: Skip # Crashes. Issue 17440.
 stack_overflow_stacktrace_test: Skip # Crashes. Issue 17440.
 
 [ $compiler == none && $runtime == vm && $arch == simarm64 ]
 *: Skip