--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/run/mini/interface7.d	Mon Jan 10 19:47:18 2011 +0100
@@ -0,0 +1,23 @@
+module interface7;
+
+extern(C) int printf(char*,...);
+
+interface I
+{
+}
+
+class C : I
+{
+}
+
+void main()
+{
+    I i = new C;
+    ClassInfo ci = i.classinfo;
+    char[] name = ci.name;
+    printf("ci.name = %.*s\n", name.length, name.ptr);
+    ClassInfo cI = I.classinfo;
+    name = cI.name;
+    printf("cI.name = %.*s\n", name.length, name.ptr);
+    assert(ci is cI);
+}