---
class C {
	bool b() {return true;}
}
struct S {
	C c;
}

bool test() {
	S s = S(new C);
	return s.c.b;
}
static assert(test());
---
Gives "dmd: interpret.c:4643: virtual Expression* CallExp::interpret(InterState*, CtfeGoal): Assertion `thisval && thisval->op == ((TOK)(TOKMAX+1))' failed."

These variations don't give errors:
---
bool test() {
	return S(new C).c.b;
}
bool test() {
	S s = S(new C);
	C c = s.c;
	return c.b;
}
---