Hmm. But currently, `lhs is rhs` can be compiled, regardless the types of both side.
```d
class C {}
class D : C {}
class E : C {}
pragma(msg, typeof(D.init is E.init));   // bool
pragma(msg, typeof(true ? D.init : E.init));   // C
```