https://issues.dlang.org/show_bug.cgi?id=5713 --- Comment #16 from Walter Bright <bugzilla at digitalmars.com> --- What happens is the compiler inserts a default that throws an exception. This is compatible with what the spec says. I added a clarification to the spec. --