An assert expression, assert(x == y)
https://dlang.org/spec/expression.html#assert_expressions
The type for a unary expression is incompatible. Print error message.
Mark the operand as will never be dereferenced, which is useful info for @safe checks. Do before semantic() on operands rewrites them.
See Implementation
An assert expression, assert(x == y)
https://dlang.org/spec/expression.html#assert_expressions