Support class and typedef literals as expressions.

tests/language/first_class_types_literals_test.dart

Index: tests/language/first_class_types_literals_test.dart
diff --git a/tests/language/first_class_types_literals_test.dart b/tests/language/first_class_types_literals_test.dart
new file mode 100644
index 0000000000000000000000000000000000000000..29aec460518a2a1bbd5722511ccafe7c963c3ac1
--- /dev/null
+++ b/tests/language/first_class_types_literals_test.dart
@@ -0,0 +1,32 @@
+// 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.
+
+class C<T> {}
+
+class D {}
+
+typedef int Foo(bool b);
+
+sameType(a, b) {
+  Expect.identical(a.runtimeType, b.runtimeType);
+}
+
+differentType(a, b) {
+  print("a: ${a.runtimeType}");
+  print("b: ${b.runtimeType}");
+  Expect.isFalse(a.runtimeType === b.runtimeType);
+}
+
+main() {
+  // Test type literals.
+  Expect.identical(int, int);
+  Expect.isFalse(int === num);
+  Expect.identical(Foo, Foo);
+  // Test that types from runtimeTypes() and literals agree.

[ngeoffray, 2012/10/31 10:33:03]

runtimeTypes() => runtimeType

[karlklose, 2012/10/31 13:01:18]

Done.

+  Expect.identical(int, 1.runtimeType);
+  Expect.identical(C, new C().runtimeType);
+  Expect.identical(D, new D().runtimeType);
+  // runtimeType on type is idempotent.
+  Expect.identical((D).runtimeType, (D).runtimeType.runtimeType);

[ngeoffray, 2012/10/31 10:33:03]

Also add Expect.identical(Type, D.runtimeType) ?

[ngeoffray, 2012/10/31 10:33:03]

Why parens around D?

[karlklose, 2012/10/31 13:01:18]

That doesn't hold, did you mean
Expect.true(D.runtimeType is Type)
or
Expect.identical(Type, (D).runtimeType.runtimeType)?

[karlklose, 2012/10/31 13:01:18]

Because D.runtimeType is the static property 'runtimeType' of class 'D'.

[ngeoffray, 2012/10/31 14:32:43]

Ok, I see. It's Expect.true(D.runtimeType is Type) I had in mind. If I
understand correctly Expect.identical(Type (D).runtimeType.runtimeType) does not
have to hold, right?

+}