error-type equality, intended ?

[user1234 via Digitalmars-d-learn]

I wonder if the following static assertion is intended, i.e "our 
type system plans this" or if it's an implemenation detail (i.e 
"we dont thought to that case but it turns out this is like that")

```d
enum e1 = is(typeof(ERROR) == typeof(ERROR));
static assert(!e1); // passes
```
what do you think  ?