Bottom type DIP 1017 and final rejection reasons?

[aliak]

Just ran in to a situation where it'd be useful:

int run() {
   void throwError() { ... }
   if (errorCondition) { throwError(); }
   switch (blah) {
     default: throwError();
   }
}

So I looked up I DIP1017 and I think the only info I could find 
(other than the 18 page forum thread) on the rejected was "this 
proposal is not the way to go about it. He hopes to revisit the 
issue in the future." [0]

Was there any more on the details about it that is missing from 
the DIP assessment part? [1]

Cheers
- ali

[0]: 
https://forum.dlang.org/thread/msohwtbfpiucioccbcnc@forum.dlang.org
[1]: 
https://github.com/dlang/DIPs/blob/4716033a8cbc2ee024bfad8942b2ff6b63521f63/DIPs/DIP1017.md#reviews