https://issues.dlang.org/show_bug.cgi?id=19520

Iain Buclaw <ibuclaw@gdcproject.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ibuclaw@gdcproject.org

--- Comment #1 from Iain Buclaw <ibuclaw@gdcproject.org> ---
> I don't think its outside the scope of CTFE to evaluate `assert(type is type)` as either true or false, so that should be addressed.

Actually, I change my mind, it should be an error.

--

https://issues.dlang.org/show_bug.cgi?id=19520

Iain Buclaw <ibuclaw@gdcproject.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |accepts-invalid
            Summary|TypeExp is TypeExp: cannot  |assert(TypeExp is TypeExp):
                   |interpret at compile time / |compiles with empty structs
                   |is not an expression        |

--

https://issues.dlang.org/show_bug.cgi?id=19520

--- Comment #2 from github-bugzilla@puremagic.com ---
Commits pushed to master at https://github.com/dlang/dmd

https://github.com/dlang/dmd/commit/a7a3ee088d0dd5f4d47141ea00edf3d900ecbe46 Fix Issue 19520 - assert(TypeExp is TypeExp): compiles with empty structs

https://github.com/dlang/dmd/commit/7b6a0f1254f0e0102afcf6c3b7e4c8699bbfd2b3 Merge pull request #9153 from ibuclaw/issue19520

Fix Issue 19520 - assert(TypeExp is TypeExp): compiles with empty structs

--