Merge pull request #2818 from 9rnsr/fix7645

Issue 7645 - ICE(e2ir.c) nested classes

src/expression.c

@@ -10670,6 +10670,8 @@ Expression *DotExp::semantic(Scope *sc)
             return e;
         }
     }
+    if (e2->op == TOKtype)
+        return e2;
     if (!type)
         type = e2->type;
     return this;

test/fail_compilation/ice7645.d

@@ -0,0 +1,32 @@
+/*
+TEST_OUTPUT:
+---
+fail_compilation/ice7645.d(28): Error: need 'this' for 't' of type 'char'
+fail_compilation/ice7645.d(31): Error: need 'this' for 'fn' of type 'pure nothrow @safe void()'
+---
+*/
+
+class C
+{
+    class C2()
+    {
+        char t;
+    }
+}
+
+struct S
+{
+    struct S2(T)
+    {
+        void fn() {}
+    }
+}
+
+void main()
+{
+    C c;
+    auto v = c.C2!().t;
+
+    S s;
+    s.S2!int.fn();
+}

test/fail_compilation/ice9545.d

@@ -2,7 +2,7 @@
 /*
 TEST_OUTPUT:
 ----
-fail_compilation/ice9545.d(13): Error: expression has no value
+fail_compilation/ice9545.d(13): Error: type int has no value
 ----
 */