Generated front_end/testcases/inference test files from Analyzer tests.

pkg/front_end/testcases/inference/infer_type_cast.dart

Index: pkg/front_end/testcases/inference/infer_type_cast.dart
diff --git a/pkg/front_end/testcases/inference/infer_type_cast.dart b/pkg/front_end/testcases/inference/infer_type_cast.dart
new file mode 100644
index 0000000000000000000000000000000000000000..836e79ef3cae74debd12da592eb22583799b8dd9
--- /dev/null
+++ b/pkg/front_end/testcases/inference/infer_type_cast.dart
@@ -0,0 +1,18 @@
+// Copyright (c) 2017, 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.
+
+/*@testedFeatures=inference*/
+library test;
+
+class A<T> {}
+
+class B<T> extends A<T> {
+  foo() {}
+}
+
+A<num> a = new B<int>();
+var /*@topType=B<int>*/ b = (a as B<int>);
+main() {
+  b.foo();
+}